[자연어 논리학] 「035 이면 앞뒤 바꿈」, 『두뇌보완계획100』

*대우 규칙(이면 앞뒤 바꿈, 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. “끝”