형식논리를 이해하는데 필요한 기본 용어는 아래와 같습니다.

논리 지식을 탐구하는데 필요한 논리적 도구, 조리있고 설득력 있는 말하기와 글쓰기, 궤변이나 속임수에 넘어가지 않게 된다. 개념 사물의 특유한 속성을 반영하는 사고의 형식이다. 개념은 반드시 단어를 통해서만 표현될 수 있다. 개념은 사고의 기본형식이고 단어는 언어의 기본 단위이므로 개념과 단어는 완전하게 대응되지는 않는다. 내포 개념이 반영하고 있는 사물의 특유한 속성 외연 개념이 반영하고 있는 사물의 총체 정의 정의되는 개념 = 최근류개념(가장 가까운 유개념) ＋ 종차 종차 아리스토텔레스가 사용한 논리적 정의를 내리는 방법으로 어떤 사물을 특징짓는 본질이다. 집합개념 개별적 대상들의 집합체를 하나의 대상으로서 반영하고 있는 개념이다. 집합체의 속성을 반영하지만, 이런 속성은 집합체에 포함된 각각의 개체에게 해당되는 것은 아니다. 개체개념 집합체를 반영하지 않는 개념이다. 개념간의 관계 동일관계, 대소관계, 교차관계, 모순관계, 반대관계 주연 판단에 있어서 그 주장하는 바가 주어 또는 술어로 되어 있는 개념의 외연의 전부에 해당하는 경우를 말한다. 판단에서 전칭판단의 주어와 부정판단의 술어는 항상 주연되어 있다. 부주연 판단에 있어서 그 주장하는 바가 주어 또는 술어로 되어 있는 개념의 외연의 일부에 해당하는 경우를 말한다. 판단에서 특칭판단의 주어와 긍정판단의 술어는 항상 부주연되어 있다. 명제 참과 거짓을 판단할 수 있는 문장을 말한다. 참과 거짓을 판단하는 기준은 다양하다. 판단 주어와 술어로 이루어진다.