오르가논/논리

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

현담 2022. 3. 13. 10:43

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

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

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

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