1. 명제

명제(Propositions)

• 논리의 기본적인 구성요소
• true or false 중 하나를 선언할 수 있는 문장

ex)
* 지구는 행성이다.(T)
* x+1=2(명제가 아님. x가 1일때 참인 명제임)
* 몇시입니까? (명제가 아님)

명제 변수(Propositional Variables)

• 명제를 표현하는 변수 (ex. p, q, r, s)
• 진리값(truth value): True or False

논리(Logic)

• 수학적 표현의 의미를 구체화하여 추론

복합 명제(Compound Propositions)

• 하나 또는 여러 개의 명제를 조합하여 만든 새로운 명제
• 논리 연산자(logical operator)/접속사(connective)를 통해 조합

부정 (negation, NOT)	¬p
논리곱 (conjunction, AND)	𝑝 ∧ q
논리합 (disjunction, OR)	𝑝 ∨ q
배타적 OR (exclusive or, XOR)	𝑝 ⊕ q
조건문 (conditional statement)	𝑝 → q
상호 조건문 (biconditional-)	𝑝 ↔ q