[자연어 논리학] 「023 이면 잇기」, 『두뇌보완계획100』

*가언 삼단논법(이면 잇기, hypothetical syllogism)

1. X이면 Y 2. Y이면 Z 따라서 X이면 Z

1. X→Y 2. Y→Z ∴ X→Z

ex. 내가 지혜를 사랑한다면, 나는 철학자이다.
      내가 철학자라면, 나는 세계를 사랑한다.
      따라서, 내가 지혜를 사랑한다면, 나는 세계를 사랑한다.

*가언 삼단논법의 증명

1. X이면 Y 2. Y이면 Z // X이면 Z 3*. 이면 넣기 시작: X 4*. 3*로 1에서 이면 없애, Y 5*. 4*로 2에서 이면 없애, Z 6. 3*에서 5*까지로 3*과 5*에 이면 넣어, X이면 Z. “끝”