명제 Proposition 참과 거짓을 구별할 수 있는 문장이나 수학적 식 명제의 진리값 (truth value) 참 (True), T : 명제가 타당한 경우 거짓 (False), F : 명제가 타당하지 않은 경우 명제의 종류 합성명제 조건명제, 쌍조건명제 항진명제, 모순명제 논리 연산 논리 연산자 합성명제 (compound proposition) 하나 이상의 명제와 논리연산자 그리고 괄호로 이루어진 명제 논리합 ( disjunction; or, ∨ ) 논리곱 ( conjunction; and, ∧ ) 부정 ( negation; ~, ¬ ) 배타적 논리합 ( exclusive or; xor, ⨁ ): p와 q의 진리값이 t, f로 서로 다를 때 𝒑⨁𝒒 ≡ (𝒑 ∧∼ 𝒒) ∨ (∼ 𝒑 ∧ 𝒒) => 동치 ..
