离散数学谓词逻辑解释.ppt

* * * 一、前束范式(Prenex normal form) 2.6 前束范式(Prenex normal form) 定义2-6.1 任何一个谓词公式A，如果具有如下形式： (□x1) (□x2)… (□xn)B 其中□可能是量词?或量词?，xi (i=1，…，n)是客体变元，B是不含量词的谓词公式，则称A是前束范式。 前束范式的量词均在全式的开头，它们的作用域延伸到整个公式的末尾。 1. 前束范式的定义 * * 2.6 前束范式(Prenex normal form) 例1 ?x?y((F(x)∧G(y))∧?H(x,y)) ?x?y(F(x,y)∧G(y,z))∨?xH(x,y,z) ?x?y(F(x)∧G(y))∧?H(x,y) 定理2-6.1 任何一个谓词公式，均和一个前束范式等价。 √ × × * * * 2.6 前束范式(Prenex normal form) 2. 前束范式的求法 第一步：否定深入。即利用德?摩根律和量词转化公式，把否定联结词深入到命题变元和谓词填式的前面。 第二步：改名。即利用换名规则、代入规则更换一些变元的名称，以便消除混乱。 第三步：量词前移。即利用量词辖域的收缩与扩张把量词移到前面。 * * *