第二章 谓词逻辑课件.pptVIP

第二章 谓词逻辑 本章主要内容 谓词逻辑基本概念、命题符号化 命题函数与量化，公式、解释及分类 变元的约束，谓词演算的等值式、前束范式 谓词演算的推理理论 学习要求 深刻理解谓词逻辑基本概念、公式、等值式、等值演算、推理及证明等概念 熟练进行谓词演算与构造证明 1．命题公式的推广 在命题演算中，任一永真公式，其中同一命题变元，用同一公式取代时，其结果也是永真式。将此情况推广到谓词公式中。 当谓词演算中的公式代替命题演算中永真公式的变元时，所得的谓词公式即为有效公式，故命题公式中的等价公式表和蕴含式表都可以推广到谓词演算中使用。 例如： (?x)(P(x)→Q(y)) ? (?x)(?P(x) ∨ Q(y)) (?x)P(x)∨ (?y)R(x,y) ? ? ( ? (?x)P(x) ∧ ?(?y)R(x,y) ) (?x)H(x,y) ∧ ? (?x)H(x,y) ?F 2．量词与联接词?之间的关系 设P(x)表示x今天来学校上课，则?P(x)表示x今天没来学校上课。 不是所有人今天来上课 ?存在一些人今天没来上课 ?(?x)P(x) ? (?x) ? P(x) 不是存在一些人今天来上课?所有人今天都没来上课 ? (?x) P(x) ? (?x) ?P(x) 因此，我们得到公式： ?(?x)P(x) ? (?x) ? P(x) ?(?x)P(x) ? (?x) ?P(x) 这里约定，出现在量词之前的否定，不是否定该量词，而是否定被量化了的整个命题。 个体域为有限集?a1，a2，…，an?，A(x)是含自由变元x的任意谓词公式，有下列等价式成立： ?(?x)A(x)?? (A(a1)∧A(a2)∧…∧A(an)) ? ? A(a1)∨ ? A(a2)∨ …∨ ? A(an)) ? (?x) ? A(x) ?(?x)A(x)? ? (A(a1)∨A(a2)∨…∨A(an) ) ? ? A(a1)∧ ? A(a2)∧…∧ ? A(an) ? (?x) ?A(x) 当个体域为无限集时，等价式也是成立的。但因为情况复杂，仅作以下说明：对等价式?(?x)A(x)?(?x)?A(x)，?(?x)A(x)表示：并不是所有的x都有性质A。(?x)?A(x) 表示：存在x没有性质A。显然“并不是所有的x都有性质A”和“存在x没有性质A”是相同的，所以?(?x)A(x)?(?x)?A(x)。对等价式?(?x)A(x)?(?x)?A(x)来说，“不存在某个x有性质A”和“所有的x都没有性质A”是相同的。 3．量词作用域的扩展与收缩等价式 设A(x)是含约束变元x的任意谓词公式。B是不含变元x的谓词公式，则 (?x)(A(x)∨B)?(?x)A(x)∨B (?x)(A(x)∧B)?(?x)A(x)∧B (?x)(A(x)∨B)?(?x)A(x)∨B (?x)(A(x)∧B)?(?x)A(x)∧B 利用上述四式可以得到以下四式： ((?x)A(x)→B)?(?x) (A(x)→B ) ((?x)A(x)→B)?(?x) (A(x)→B ) ( B→(?x)A(x) ) ? (?x)(B→A(x)) ( B→(?x)A(x) ) ? (?x)(B→A(x)) 【例2.5.1】证明 ((?x)A(x)→B)?(?x) (A(x)→B ) 解： ((?x)A(x)→B) ?(? (?x) A(x)∨B) ?(?x)?A(x)∨B ? (?x) (?A(x)∨B ) ? (?x) (A(x)→B ) 4．量词与命题联接词之间的一些等价式 联欢会上所有人即唱歌又跳舞 ?联欢会上所有人唱歌且所有人跳舞 则有 (?x)(A(x)∧B(x))?(?x)A(x)∧(?x)B(x) 故 (?x)(A(x)∨B(x))?(?x)A(x)∨(?x)B(x) 前者可以理解为：“所有的x有性质A和性质B”和“所有的x有性质A且所有的x有