몸과 맘

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

*연언문(이고글월/이고문장, conjunction) - “이고”(“이지만”, “이며”, “이면서”, “인데”, “일 뿐만 아니라”, “또한” 등)로 이어져 있는 문장 - “이고 앞말”은 “이고” 앞에 있는 문장을, “이고 뒷말”은 “이고” 뒤에 있는 문장을 뜻함 ex. 순이는 착하고 순이는 예쁘다. *선언문(이거나글월/이거나문장, disjunction) - “이거나”(“또는”, “아니면” 등)로 이어져 있는 문장 - “이거나 앞말”은 “이거나” 앞에 있는 문장을, “이거나 뒷말”은 “이거나” 뒤에 있는 문장을 뜻함 ex. 순이는 착하거나 순이는 예쁘다. *조건문(이면글월/이면문장, conditional) - “이면”(“일 때”, “인 경우” 등)으로 이어져 있는 문장 - “이면 앞말(전건, antecen..