设.当我们说“公式p是从公式集可证的”,是指存在着的公式的有限序列,其中尾项,且每个满足:
(i) ,或
(ii) 是“公理”,或
(iii) 存在.
具有上述性质的有限序列叫做p从的“证明”。
立减 ¥
请填写红包祝福语或标题
红包个数最小为10个
红包金额最低5元
抵扣说明:
1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。 2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。