*가언 삼단논법(이면 잇기, 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. “끝”
