명제논리는 기본적으로 명제들이 존재하며, 이들을 결합하여 더 복잡한 명제를 만드는 방법을 다룹니다.
술어논리는 문장을 구성하는 방법과 대상을 정의하는 양자화의 중요성을 설명합니다.
세상을 구성하는 기본 요소와 개체 간의 관계를 구조적으로 분석하는 방법을 설명합니다.
함수는 객체 간의 관계를 정의하고, 이를 통해 세상을 이해하는 방식에 대해 설명합니다.
존재는 스스로 존재하는 것들로, 인식은 이를 통해 참과 거짓을 구별하는 방법을 설명합니다.
시간은 세상에 존재하는 중요한 요소로, 이를 명제로 표현하는 방법을 설명합니다.
퍼지 로직은 진리의 수준을 다루며, 인식 대상의 믿음 정도를 설명합니다.
객체와 관계를 정리하는 것이 세상을 이해하는 데 중요하다는 점을 강조합니다.
고차 관계는 객체 간의 관계를 더 복잡하게 만드는 방법을 설명합니다.
앞으로 문장을 만드는 방법과 문법에 대한 설명을 예고합니다.
