*선언삼단논법(이거나 없애기, 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. 라라는 지갑을 식당에 두고 왔거나 책방에 두고 왔다. 라라는 지갑을 식당에 두고 오지 않았다. 따라서, 라라는 지갑을 책방에 두고 왔다. *선언삼담논법의 특징 - 이거나 앞말이나 이거나 뒷말 중 적어도 하나는 참이어야 이거나문장이 참이 되는 것을 활용 - 두 가지 전제가 필요. 하나는 이거나문장이고, 다른 하나는 이거나문장의 이거나 앞말 또는 이거나 뒷말이 틀렸다고 말하는 문장.
