오르가논/논리

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

현담 2022. 3. 3. 11:17

*단순화논법(이고 없애기, simplification rule)

1. X이고 Y
따라서 X
1. X이고 Y
따라서 Y
1. X&Y
∴ X
1. X&Y
∴ Y

ex. 나나는 착하고 다다는 씩씩하다.
     따라서, 나나는 착하다.