명제 논리

명제 논리(propositional logic)

명제(proposition) 참 또는 거짓 중 하나를 나타내는 선언적 문장이다. 명제인 예: 미국의 수도는 워싱턴 D.C이다. 캐나다의 수도는 토론토이다. 명제가 아닌 예: 몇 시입니까? 이것을 주의 깊게 읽어라. 명제를 표현하는 변수를 p, q, r, s 등 문자로 나타낸다. 명제의 진리값(truth value)이 참일 때는 T, 거짓일 때는 F로 나타낸다. 더 나누어질 수 없는 명제는 단순명제이다. 부정(negation) $p$가 명제라 하면 $p$의 부정은 $\neg p$ or $\bar{p}$로 나타내고, "It is not the case that p."의 문장이 된다. $p$ $\neg p$ $T$ $F$ $F$ $T$ 논리곱(conjunction) $p$와 $q$가 명제라 하면 $p \lan..