[자연어 논리학] 「022 뒤로 이면 없애기」, 『두뇌보완계획100』

*파생 추론규칙(딸림 이끌기 틀, derived rule of inference)
  - 기본 추론규칙들로부터 만들어진 추론규칙
  - 다음과 같은 3개의 파생 추론규칙이 있음

9. 뒤로 이면 없애기

10. 이면 잇기

11. 이러나저러나

*부정논법(뒤로 이면 없애기, Modus Tollens)

1. X이면 Y 2. Y는 거짓이다. 따라서 X는 거짓이다.

1. X→Y 2. ~Y ∴ ~X

ex. 만일 물이 생물이면, 물은 죽는다.
      물이 죽는다는 것은 거짓이다.
      따라서, 물이 생물이라는 것은 거짓이다.

*부정논법의 증명

1. X이면 Y 2. Y는 거짓이다. // X는 거짓이다.     3*. 거짓이다 넣기 시작: X     4*. 3*로 1에서 이면 없애, Y     5*. 2와 4*에 이고 넣어, Y는 참이고 Y는 거짓이다. 6. 3*에서 5*까지로 3*에 거짓이다 넣어, X는 거짓이다. “끝”