歌德尔命题有几个驳论???
要讲清楚
歌德尔命题有几个驳论???
答案:2 悬赏:50 手机版
解决时间 2021-02-02 10:08
- 提问者网友：十年饮冰
- 2021-02-01 15:42
最佳答案
- 五星知识达人网友：一把行者刀
- 2021-02-01 16:37
构命题G：“G是不可证明的。”
这是一个不可判定的命题。
（假设G是不可证明的，则G为真，由命题真与命题可证明等价，则G可证明；假设G可证明，则G为真，则G不可证明。）
这是一个不可判定的命题。
（假设G是不可证明的，则G为真，由命题真与命题可证明等价，则G可证明；假设G可证明，则G为真，则G不可证明。）
全部回答
- 1楼网友：枭雄戏美人
- 2021-02-01 18:10
你好！
6个
仅代表个人观点，不喜勿喷，谢谢。
我要举报
如以上回答内容为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！
点此我要举报以上问答信息
大家都在看
推荐资讯