[자연어 논리학] 「011-012 이거나 없애기」, 『두뇌보완계획100』

*선언삼단논법(이거나 없애기, disjunctive syllogism)

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

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

1. X∨Y 2. ~X ∴ Y

1. X∨Y 2. ~Y ∴ X

ex. 라라는 지갑을 식당에 두고 왔거나 책방에 두고 왔다.
     라라는 지갑을 식당에 두고 오지 않았다.
     따라서, 라라는 지갑을 책방에 두고 왔다.

*선언삼담논법의 특징
  - 이거나 앞말이나 이거나 뒷말 중 적어도 하나는 참이어야 이거나문장이 참이 되는 것을 활용
  - 두 가지 전제가 필요. 하나는 이거나문장이고, 다른 하나는 이거나문장의 이거나 앞말 또는 이거나 뒷말이 틀렸다고 말하는 문장.