대우법의 수리논리적 증명

대우법의 수리논리적 증명

법칙 1

$$ p \to q \iff \lnot q \to \lnot p $$

설명

어떤 명제가 참이면 그 대우도 참, 어떤 명제가 거짓이면 그 대우도 거짓이다. 물론 Converse이 성립한다면 대우법에 의해서 원래 명제의 Reverse도 성립한다.

이러한 표현들은 수학에 익숙하지 않은 사람들에겐 너무 어려울 수 있다. 직관적인 예를 들어서 이해해보자:

날씨가 더우면 땀이 난다는 것이 참이라면, 땀이 나지 않았다면 다른 건 몰라도 날씨가 더운 게 아니라는 걸 알 수 있다.

증명

$$ \begin{align*} p \to q \iff & \lnot p \lor q \\ \iff & \lnot p \lor \lnot (\lnot q) \\ \iff & \lnot (\lnot q) \lor \lnot p \\ \iff & \lnot q \to \lnot p \end{align*} $$


  1. 이흥천 역, You-Feng Lin. (2011). 집합론(Set Theory: An Intuitive Approach): p29. ↩︎

댓글