什么叫“证明”

.当我们说“公式p是从公式集可证的”,是指存在着的公式的有限序列,其中尾项,且每个满足:

(i)                   ,或

(ii)                 是“公理”,或

(iii)                存在.

具有上述性质的有限序列叫做p从的“证明”。

相关推荐
©️2020 CSDN 皮肤主题: 大白 设计师:CSDN官方博客 返回首页