ChatGPT｜让 Ai 学逻辑学
ChatGPT｜让 Ai 学逻辑学
一开始我让他证明 a -> (b -> a) ，这个就是公理，但是它似乎不知道 A -> (B -> A) 和 a -> (b -> a) 是同一个东西
后来我只能直接给他提醒这就是公理：
然后让他用 natrual deduction:
让他用 latex 写：
还是能渲染的：
今天我又问了一些更复杂的问题，有时间继续更新
一个思路：不用自然语言或者数学语言。用perlog和它交流会如何？
一开始我让他证明 a -> (b -> a) ，这个就是公理，但是它似乎不知道 A -> (B -> A) 和 a -> (b -> a) 是同一个东西
后来我只能直接给他提醒这就是公理：
然后让他用 natrual deduction:
让他用 latex 写：
还是能渲染的：
今天我又问了一些更复杂的问题，有时间继续更新
一个思路：不用自然语言或者数学语言。用perlog和它交流会如何？