离散数学之谓词逻辑详细版.pptVIP

具有两个量词的二元谓词公式（共八种） ?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(前束范式存在定理)　任意一个谓词公式，均和一个前束范式等价。 本定理说明任何公式的前束范式都是存在的，但一般不是唯一的。 求法