[자연어 논리학] 「024-025 이러나저러나」, 『두뇌보완계획100』

*경우에 의한 논증(양도논법, 이러나저러나, argument by cases)

1. X이거나 Y 2. X이면 Z 3. Y이면 Z 따라서 Z

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

ex. 내가 정신 자본이 풍요롭기를 희망한다면, 나는 지속가능한 성숙을 모색해야 한다.
      내가 경제 자본이 풍요롭기를 희망한다면, 나는 지속가능한 성숙을 모색해야 한다.
      나는 정신 자본이 풍요롭기를 희망하거나 나는 경제 자본이 풍요롭기를 희망한다.
      따라서, 나는 지속가능한 성숙을 모색해야 한다.

*경우에 의한 논증의 증명

1. X이거나 Y 2. X이면 Z 3. Y이면 Z // Z     4*. 거짓이다 넣기 시작: Z는 거짓이다.     5*. 4*로 2에서 뒤로 이면 없애, X는 거짓이다.     6*. 4*로 3에서 이면 없애, Y는 거짓이다.     7*. 6*로 1에서 이거나 없애, X     8*. 5*과 7*에 이고 넣어, X는 참이고 거짓이다. 9. 4*에서 8*까지로 4*에 거짓이다 넣어, Z가 거짓이다는 것은 거짓이다. 10. 9에서 거짓이다 없애, Z. “끝”