명제

명제의 동치(equivalent)

항진명제, 모순, 불확정명제 항진명제(tautology): 항상 참인 명제 모순(contradiction): 항상 거짓인 명제 불확정명제(contingency): 항진명제도 아니고 모순도 아닌 명제 예) $p$ $\neg q$ $p \lor\neg q$ $p \land \neg q$ $T$ $F$ $T$ $F$ $F$ $T$ $T$ $F$ $p \lor\neg q$는 항상 참이므로 항진명제이고, $p \land \neg q$는 항상 거짓이므로 모순이다. 논리적 동치 두 명제 $p$, $q$에 대하여 $p \leftrightarrow q$가 항진명제이면 $p$와 $q$는 논리적 동치이며, $p \equiv q$는 $p$와 $q$가 논리적 동치(logically equvalent)임을 나타낸다. 조건-논리합..