数理逻辑-逻辑公理系统011.pptVIP

主要内容 逻辑公理系统 命题逻辑公理系统 谓词逻辑公理系统 定理证明 公理系统性质 理论与模型 判定问题 判定问题 判定问题有两个主要内容： 普遍有效性和可证明性。 普遍有效性问题是逻辑公式所表达的命题的正确性问题,可证明性问题是一公理系统的推演能力问题。 可判定性 定理：只含有一元谓词变项的公式是能行可判定的。 定理： ?x1… ?xnQ(x1,…, xn) 定理： ? x1… ? xnQ(x1,…, xn) 定理： ?x1… ?xm? y1… ? ynQ(x1,…, xm, y1,…, yn) 逻辑基本判断问题 能行方法来判定如下问题： （1）一个符号是否为一个初始符号； （2）一个符号序列是否合式； （3）一个公式是否为一条公理； （4）一个有穷长的公式序列是否为一个证明。 判定性 一阶逻辑系统能否找到一种有效的方法可以判断任意一个命题是否是定理？ David Hilbert 1826-1943 歌德尔编码 定义：符号歌德尔数 g(()=3 g())=5 g(,)=7 g(?)=9 g(?)=11 g(?)=13 g(xk)=7+8k k=1,2,3 g(ak)=9+8k k=1,2,3 g(fnk)=11+8×(2n×3k) g(pnk)=13+8×(2n×3k) Kurt G?dels 1906-1978 歌