[자연어 논리학] 「007 이고 없애기」, 『두뇌보완계획100』 *단순화논법(이고 없애기, simplification rule) 1. X이고 Y 따라서 X 1. X이고 Y 따라서 Y 1. X&Y ∴ X 1. X&Y ∴ Y ex. 나나는 착하고 다다는 씩씩하다. 따라서, 나나는 착하다. 오르가논/논리 2022.03.03
