명제

명제(proposition) - 참 또는 거짓 중 하나로 판별이 가능한 것이다. 불가능한 것은 명제가 아니다. 단순 명제라고도 한다.

진리표(Truth table) - 명제에서 나올 수 있는 참, 거짓의 모든 가능성을 표로 나열한 것이다. 여러 명제를 확인할 때 사용한다.

합성명제(Compound Proposition) - 단순 명제를 논리 연산자로 결합한 것, 조건 명제 2가지를 말한다.

 

논리부정(NOT) - p는 아니다. ~, 모든(all)의 부정은 어떤(any), 어떤의 부정은 모든

논리곱(AND) - p와 q가 모두 참인 경우만 참이다. ^, X

논리합(OR) - p와 q 중에 하나만 참이어도 참이다. V, +

배타적 논리합(XOR) - p와 q 중에 하나만 참이어야 참이다. 둘 다 참인 경우는 거짓이다. ⊕

 

항진명제(Tautology) - 언제나 참인 명제, 전체집합과 같은 개념이다.

모순명제(Contradiction) - 언제나 거짓인 명제, 공집합과 같은 개념이다.