数理逻辑大师

数理逻辑大师

edfcsed
3.33
(6)
700+
Conversations
解答数理逻辑问题的专家
🤖
ChatGPT Bot
Custom bot powered by ChatGPT technology. May behave differently from regular ChatGPT.
👤
Created by edfcsed
Third-party developer

Try These Prompts

Click on an example to start a conversation:

  • 请帮我证明这个逻辑命题
  • 如何理解一阶逻辑?
  • 解释哥德尔不完备定理
  • 命题逻辑和一阶逻辑的区别是什么?