离散数学之谓词逻辑.pptVIP

永真式/逻辑有效式　给定任意谓词公式wff A，其个体域为E，对于A的任一组真值指派，wff A皆为1，则称公式A在E上是有效的/永真的。 不可满足式/永假式　一个谓词公式wff A，如果在所有赋值下都为0，则称该wff A是不可满足的/永假的。 可满足式　一个谓词公式wff A，如果至少在一种赋值下为T，则称该wff A是可满足的。 2.5 谓词演算的等价式与蕴含式 离散数学之谓词逻辑 谓词演算中的等价式和蕴涵式　命题演算中的等价公式表和蕴含公式表都可推广到谓词演算中使用。 消去量词的等价式 量词否定的等价式（量词的转化律） ?(?x)P(x)?(?x)?P(x) ， ?(?x)P(x)?(?x)?P(x) 证明：(可在有限个体域上证明) 2.5 谓词演算的等价式与蕴含式 离散数学之谓词逻辑 设个体域中的客体变元为a1, a2, …, an，则 ?(?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) 2.5 谓词演算的等价式与蕴含式 离散数学之谓词逻辑 量词作用域的扩张与收缩的等价式 ?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(B?A(x)) ? B??x A(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(B?A(x)) ? B??x A(x) 2.5 谓词演算的等价式与蕴含式 离散数学之谓词逻辑 以上各等价式中的B不含客体变元x ; 或含有与量词指导变元x 不同的变元 , 如y , z 等。 试证明 ?x(A(x)?B) ? ?x A(x)?B 证：左??x(?A(x)∨B) ??x ?A(x)∨B 　　 ?? ?x A(x)∨B 　　??x A(x)?B（右） 2.5 谓词演算的等价式与蕴含式 离散数学之谓词逻辑 量词分配的等价式 ?x(A(x)∧B(x)) ? ?x A(x)∧?x B(x) ?x(A(x)∨B(x)) ? ?x A(x)∨?x B(x) 量词与命题联结词间的一些蕴含式 ?x A(x)∨?x B(x) ? ?x(A(x)∨B(x)) ?x(A(x)∧B(x)) ? ?x A(x)∧?x B(x) ?x(A(x) ?B(x)) ? ?x A(x) ??x B(x) ?x(A(x) ?B(x)) ? ?x A(x) ? ?x B(x) ?x A(x) ??x B(x) ? ?x(A(x) ?B(x)) 2.5 谓词演算的等价式与蕴含式 离散数学之谓词逻辑 具有两个量词的二元谓词公式（共八种） ?x ?y A(x,y) ?y ?x A(x,y) ?x ?y A(x,y) ?y ?x A(x,y) ?x ?y A(x,y) ?y ?x A(x,y) ?y ?x A(x,y) ?x ?y A(x,y) 其中：?x ?y A(x,y) ? ?y ?x A(x,y) 　　　 ?x ?y A(x,y) ? ?y ?x A(x,y) 后四种均不等价，故全称量词和存在量词在公式中出现的次序，不能随意更换。 2.5 谓词演算的等价式与蕴含式 离散数学之谓词逻辑 2.6 前束范式 前束范式　一个公式如果量词均包含在全式的开头，它们的作用域延伸到整个公式的末尾，则该公式叫做前束范式。其形式为　(?v1)(?v2)…(?vn)A ，其中?是量词?或?，vi (i=1,2,…,n)是客体变元，A 是没有量词的谓词公式。 如：?x ?y((F(x)∧G(y))∧?H(x,y)) √ ?x ?y(F(x,y)∧G(y,z))∨?x H(x,y,z) × 离散数学之谓词逻辑 2.6 前束范式 Th1(前束范式存在定理)　任意一个谓词公式，均和一个前束范式等价。 本定理说