【本章小结】 本章讨论了谓词逻辑的公理化,主要内容可概括为: 1. 介绍了谓词逻辑的公理系统的概念和基本构成,并通过示例给出了利用公理系统进行定理推演的方法,还介绍了谓词逻辑完备性定理的内容及其证明思路; 2. 介绍了谓词逻辑的自然演绎系统的概念与基本构成,通过示例给出了定理推演的过程,重点强调了该系统比公理系统方法的优越性; 3. 介绍了递归函数的定义和主要概念以及它与可计算性的内在联系,重点讨论了主要的递归规则,并给出了原始递归函数的示例以及运算定理的证明; 4. 简要介绍了相等词和摹状词的概念及其主要性质。 |