ChatGPT｜让 Ai 学逻辑学
Fisherchenxi
一开始我让他证明 a -> (b -> a) ，这个就是公理，但是它似乎不知道 A -> (B -> A) 和 a -> (b -> a) 是同一个东西
后来我只能直接给他提醒这就是公理：
然后让他用 natrual deduction:
这个证明还可以接受
让他用 latex 写：
还是能渲染的：
今天我又问了一些更复杂的问题，有时间继续更新
你的回复
回复请先 登录 , 或 注册
相关内容推荐
最新讨论 ( 更多 )
- 麻烦大家帮忙填一下问卷，红包有偿1r，谢谢《网络与AI使用调... (卡卡徒徒)
- 让AI帮自己实现利益最大化 (懒羊羊)
- 有偿 | 【AI使用沉迷/尝试减少使用】用户访谈招募 (momo)
- 其他/讨论｜分享一个ai工具教程和提示词思维架构的知识库 (氤氲)
- 给AI装个“文化大脑”，然后让它陪我玩剧本杀？发现个有意思... (心情好什么都好)