- contradiction
- 모순
- symbolic logic
- 기호 논리학
- propositional logic
- 명제 논리학
- predicate logic
- 술어 논리학
- modal logic
- 양상 논리학
- truth table
- 진리표
- logical operator
- 논리 연산자
- conjunction
- 논리 결합
- disjunction
- 논리 분리
- negation
- 부정
- implication
- 함의
- tautology
- 항진명제
- modus ponens
- 긍정 논법
- modus tollens
- 부정 논법
- disjunctive syllogism
- 선언적 삼단논법
- hypothetical syllogism
- 가언 삼단논법
- completeness
- 완전성
- formal proof
- 형식적 증명
- axiomatic system
- 공리 체계
- Gödel's incompleteness
- 괴델의 불완전성 정리
- Russell's paradox
- 러셀의 역설
- set theory
- 집합론
- decision theory
- 결정 이론
- rational choice theory
- 합리적 선택 이론
- bounded rationality
- 제한적 합리성
- probability theory
- 확률론
- Bayesian reasoning
- 베이즈식 추론
- biconditional
- 쌍조건문
- soundness
- 건전성
- contingency
- 우연 명제