[자연어 논리학] 「014-016 이면 없애기」, 『두뇌보완계획100』 *긍정논법(이면 없애기, Modus Ponens) 1. X이면 Y 2. X 따라서 Y 1. X→Y 2. X ∴ Y ex. 고래가 젖먹이짐승이면, 고래는 배꼽을 갖고 있다. 고래는 젖먹이집승이다. 따라서, 고래는 배꼽을 갖고 있다. *긍정논법의 특징 - 두 가지 전제가 필요. 하나는 이면문장이고, 다른 하나는 이면문장의 이면 앞말. - 결론은 이면문장의 이면 뒷말 오르가논/논리 2022.03.13
