항진명제와 모순명제

항진명제

항진명제는 항상 참인 명제를 말한다. 즉, 명제의 구성 성분과 관계없이 언제나 참인 경우이며 논리적 구조상 어떠한 경우에도 거짓이 될 수 없는 명제를 말한다.

 

예시

P∨~P : P가 참이던 거짓이던 True or False, False or True이므로 True를 리턴한다.

(P∧Q) → P : (P∧Q)가 참인 경우만 고려하면 된다. (P∧Q)가 참이 되기 위해선 P는 항상 참이어야 한다.

 

모순명제

반대로 모순명제는 항상 거짓인 명제를 말한다. 즉, 명제의 구성 성분과 관계없이 언제나 거짓인 경우이다.

 

예시

P∧~P : P가 참이던 거짓이던 True and False, False and True이므로 False를 리턴한다.