数理逻辑的形式和非形式证明的区别?
一次考试中,在证明一阶逻辑时,提到用形式证明,另一道题提到用非形式证明,我不明白这两种证明方式到底指的是什么?有什么区别吗?
我只知道利用定理的因果证明,哎.求教啊
...
数理逻辑的形式和非形式证明的区别?
答案:1 悬赏:40 手机版
解决时间 2021-05-23 06:20
- 提问者网友：捧腹剧
- 2021-05-22 10:16
最佳答案
- 五星知识达人网友：荒野風
- 2021-05-22 10:36
这个很难回答啊
我要举报
如以上问答信息为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！
大家都在看
推荐资讯