第二章一阶逻辑选编.pptVIP

第2章 一阶逻辑(谓词逻辑);苏格拉底三段论;问题在于这类推理中，各命题之间的逻辑关系不是体现在原子命题之间，而是体现在构成原子命题的内部成分之间。对此，命题逻辑将无能为力。;本章内容 ;2.1 本章学习要求 ;2.1.1 谓词逻辑中的基本概念与表示 ;谓词;个体词与谓词;个体词的分类;例子;个体域;谓词;n元谓词;例2.1;结论 ;结论（续）;2.1.2 量词;量词含义;全称量词与存在量词;（1）所有的中国人都爱国； （2）每一个大学生都会说英语； （3）所有的人都长着黑头发； （4）有一些人登上过月球； （5）有一些自然数是素数。 ;不便之处;不便之处(续);不便之处的根源;特性谓词;谓词逻辑符号化的两条规则;特性谓词的例子;例2.2;（1）天下乌鸦一般黑 设 F(x)：x是乌鸦；G(x, y)：x与y一般黑，则： (?x)(?y)(F(x)∧F(y)→G(x, y)) 或者┐(?x)(?y)(F(x)∧F(y)∧┐G(x, y))； ???2）没有人登上过木星 设H(x)：x是人；M(x)：x登上过木星，则： ┐(?x)(H(x)∧M(x)) 或者 (?x)(H(x)→┐M(x))；;（3）在美国留学的学生未必都是亚洲人 设A(x)：x是亚洲人； H(x)：x是在美国留学的学生，则： ┐(?x)(H(x)→A(x)) 或者 (?x)(H(x)∧┐A(x))；;2.1.3 谓词的语言翻译;个体域可数或有限;例2.3; 谓词翻译难点 ;谓词翻译难点（续）;例2.4 将下列命题符号化 （1）兔子比乌龟跑得快； （2）有的兔子比所有乌龟跑得快； （3）并不是所有的兔子都比乌龟跑得快； ;例2.4;2.2 谓词合式公式与解释 ;符号定义;为何需要函数符号？;项与原子公式;定义2.4;例; 自由变元和约束变元;例2.6;例2.6（续）;变元混淆;两个规则;例2.7;改名规则和代入规则的关系;改名规则和代入规则的关系（续）;闭式的定义; 谓词合式公式的解释;公式的解释;解 1）构造解释I1为 P(a) = 0，P(b) = 0，Q(a) = 1，Q(b) = 1， 则(P(a)→Q(a))∧(P(b)→Q(b))在此解释I1下真值为1，(P(a)∨P(b))→(Q(a)∧Q(b))在此解释I1下真值为1，即I1使得等价联结词前面的(?x)(P(x)→Q(x))为真，同样使得等价联结词后面的((?x)P(x)→(?x)Q(x))为真，因此，这样的解释使得原公式的真值为真。 ;（2）构造解释I2为 P(a) = 0，P(b) = 1，Q(a) = 0，Q(b) = 1， 则(P(a)→Q(a))∧(P(b)→Q(b))在此解释I2下真值为1，(P(a)∨P(b))→(Q(a)∧Q(b))在此解释I2下真值为0，即I2使得等价联结词前面的(?x)(P(x)→Q(x))为真，而使得等价联结词后面的((?x)P(x)→(?x)Q(x))为假，因此，这样的解释使得公式(?x)(P(x)→Q(x))?((?x)P(x)→(?x)Q(x)) 的真值为假。 ;例2.8;谓词合式公式的分类;公式之间的关系;谓词逻辑的判定问题 ;谓词公式的可判定性;2.3 一阶逻辑等值式;定义2.10：等值式 设A，B是一阶逻辑中任意两个公式，若A ? B为重 言式，则称A与B是等值的，记作A ? B。 称A ? B是等值式。 思考：用换名规则和替换规则得到的公式与原公式 是否等值？ 第一章中得到的24个等值式及其代换实例都是一阶 逻辑中的等值式。例： (1)?x F(x)?? ??x F(x) (2) F(x)?G(y)? ? F(x)∨G(y) ;消去量词等值式 设个体域为有限集D={a1，a2，… ，an}，则 (1) ?x A(x)?A(a1)∧A(a2)∧… ∧A(an) (2) ?x A(x)?A(a1)∨A(a2)∨… ∨ A(an) 定理2.1 量词否定等值式 设A(x)是任意的含自由出现个体变项x的公式，则 (1) ? ?x A(x)? ?x ? A(x) (2) ? ?x A(x)? ?x ? A(x) 当个体域有限时D={a1，a2，… ，an}，定理2.1很容 易由消去量词等值式得到。 ;定理2.2 量词辖域收缩与扩张等值式 设A(x)是任意的含自由出现个体变项x的公式， B中不含x的出现，则 (1) ?x(A(x)∨B)? ?x A(x)∨B ?x(A(x)∧B)? ?x A(x)∧B ?x(A