*대우 규칙(이면 앞뒤 바꿈, transposition rule) : X이면 Y ≡ Y가 거짓이면 X는 거짓이다. *대우 규칙의 증명 - 첫째 추론 1. X이면 Y // Y가 거짓이면 X는 거짓이다. 2*. 이면 넣기 시작: Y는 거짓이다. 3*. 2*로 1에서 뒤로 이면 없애, X는 거짓이다. 4. 2*에서 3*까지로 2*과 3*에 이면 넣어, Y가 거짓이면 X는 거짓이다. “끝” - 둘째 추론 1. Y가 거짓이면 X는 거짓이다 // X이면 Y 2*. 이면 넣기 시작: X 3*. 2*로 1에서 뒤로 이면 없애, Y 4. 2*에서 3*까지로 2*과 3*에 이면 넣어, X이면 Y. “끝”
