*단순화논법(이고 없애기, simplification rule)
1. X이고 Y 따라서 X |
1. X이고 Y 따라서 Y |
1. X&Y ∴ X |
1. X&Y ∴ Y |
ex. 나나는 착하고 다다는 씩씩하다.
따라서, 나나는 착하다.
'오르가논 > 논리' 카테고리의 다른 글
[자연어 논리학] 「009 왜냐하면」, 『두뇌보완계획100』 (0) | 2022.03.09 |
---|---|
[자연어 논리학] 「008 차근차근 이끌기」, 『두뇌보완계획100』 (0) | 2022.03.08 |
[자연어 논리학] 「006 이고 넣기」, 『두뇌보완계획100』 (0) | 2022.03.02 |
[자연어 논리학] 「005 거짓이다 없애기 / 017 다시 배우기」, 『두뇌보완계획100』 (0) | 2022.02.26 |
[자연어 논리학] 「004 이고, 이거나, 이면」, 『두뇌보완계획100』 (0) | 2022.02.24 |