[자연어 논리학] 「014-016 이면 없애기」, 『두뇌보완계획100』

*긍정논법(이면 없애기, Modus Ponens)

1. X이면 Y 2. X 따라서 Y

1. X→Y 2. X ∴ Y

ex. 고래가 젖먹이짐승이면, 고래는 배꼽을 갖고 있다.
     고래는 젖먹이집승이다.
     따라서, 고래는 배꼽을 갖고 있다.

*긍정논법의 특징
  - 두 가지 전제가 필요. 하나는 이면문장이고, 다른 하나는 이면문장의 이면 앞말.
  - 결론은 이면문장의 이면 뒷말