什么是谓词公式的解释

发布网友发布时间：2022-04-25 04:08

共1个回答

热心网友时间：2022-04-14 06:13

F有许多元逻辑定理或称元定理。不过元定理并不是F中的定理，而是关于F的定理，是对F这个系统的某些重要性质的研究的结果。重要的元定理有3个：③　完全性定理，它表述为：如果喺A，则儱A。该定理表明,F在凡普遍有效的公式都是定理这一意义上是完全的。可靠性定理表明，谓词演算F对演绎推理形式的反映是可靠的。设A是一个推理的前提的命题形式，B是结论的命题形式，这个推理的形式就是A→B。F的定理都是普遍有效的,这就意味着F只反映有效的推理形式。而完全性定理则表明,F对有效推理的形式的反映是完全的。设A→B是一个有效的推理的形式,当A真时B一定真,A→B是普遍有效的，因而是F的定理。这两个定理也表明,对F来说，语法和语义是一致的、相符合的。也就是说,可证明性和普遍有效性是相符合的，一个公式是可证明的或是定理，当且仅当它是普遍有效的。