五章 谓词公式的永真性.ppt

第五章 谓词公式的永真性及可满足性与几个常用的重要定理 §5.1 永真性和可满足性 要讨论谓词演算公式永真与否（公式的真假性），首先应当分析一下任一谓词公式的真假值与公式中的那些成分有关，我们举个例子来分析这个问题： 先讨论A（x）， xA（x），ヨxA（x）这三个公式的真假情况。 1）设谓词“A（e）”表示“e为偶数”，则A（x）意思为“x为偶数”，显然该公式的真假值随x而变化，因为该公式没有量词，所以A（x）的真假值与自由个体变元x有关。 2） xA（x）与ヨxA（x）的意思分别是“所有的个体变元x为偶数”及有一个或存在一个个体变元x为偶数，这说明这两个公式的真假值与个体域有关，而与约束个体变元x无关，因为一但个体变元的变域给定后，这两个公式的真假就确定了。 例如：对个体域{1，2，3，…}公式 xA（x）意思为“所有的自然数均为偶数”故公式的值为F（假），而公式ヨxA（x）的意思是“有一（存在）一自然数为偶数”，其公式的值为T（真）。 又例如对上述公式，如果给定个体域为{1，3，5，7，9}时 xA（x）的意思为“1，3，5，7，9这五个自然数”均为偶数，故该公式为F（假）；而对ヨxA（x）的意思为“1，3，5，7，9中有一个为偶数，故该公式为F。由此可知，一公式的真假与个体域有关，与自由个体变元有关，而与约束个体变元无关。 xA（x） 再进一步的讨论，我们发现谓词公式的永真性与可满足性有以下几点，下面分别介绍： (1) 与个体域有关，与约束个体变元无关。 (2) 与自由变元有关，当个体域取定后P取定.，很清楚 xP（x）是一个命题，而Q取定后，ヨxP（x，y）不是命题，只有当y代入特定的个体变元后，才是一个命题，比如个体域为{1，2，3，4，5}Q（x，y）表示“xy”，只有当y取定个体后 x Q（x，y）才是个命题才能确定真假值。 3）与命题及谓词有关，如公式 xA（x）∧B（y）∧P其中A，B是谓词及P有关的。比如个体域是{2，4，6，8…}偶数集，若A表示“是偶数”，B表示“是4个的倍数”且取y=8，P=T，则原公式为真，而若A取为“是奇数”或P=F则原公式为假，所以说与命题及谓词有关。 4）与函词有关，比如 xP（f（x）），个体域为{1，2}，P表示“是偶数”，则若f（x）定义为f（x）= x，那么 xP（f（x））为假，而若f（x）=2，那么 xP（f（x））为真，所以说与函词有关。 综上所述可得，任一谓词演算公式的真假与谓词变元，命题变元，自由个体变元，函词及个体域有关，而与约束个体变元无关。我们推扩为一般形式为： 设有一谓词演算公式α，其自由个体变元为x1…xr；命题变元为P1…Pk；函词为f1…fm谓词变元为x1…xh则我们将α表示为α（x1…xh；P1…Pk；f1…fm；x1…xr）（注意，这里不是谓词填式，因为α是公式，而不是谓词）。 如果对个体域I指派以I0（即其约束变元以I0为变域）对x1…xh分别指派以I0中的个体a1…ah对P1…Pk 分别指派以b1…bk对f1…fm 分别指派以C1…Cm对X1…Xr 分别指派以D1…Dr则说对α作了一个个体域I0中的指派。（a1…ah；b1…bk；C1…Cm；D1…Dr）。 因为α的值与个体域，自由变元，函词，命题变元，谓词变元有关，所以给定一指派后，α的真假值是确定的，为了讨论方便起见，今后我们将α在I0中的指派（a1…ah；b1…bk；C1…Cm；D1…Dr）之下所取值记为α（a1…ah；b1…bk；C1…Cm；D1…Dr）如果该值为真，则该指派称为α的成真指派，如果该值为假，则该指派称为α的成假指派，如果仅对α中的部分自由变元（包括自由个体变元，命题变元，函词，谓词变元）给以指派，则称为该指派α的有缺指派（部分指派）。一般地α在有缺指派下，不一定能得出确定的真假值，而是关于那些未作指派自由变元的函词，（函数）决定谓词演算公式的真假关键在于决定 xα（x），ヨxα（x）的真假。 xα（x），ヨxα（x）的真假的决定方法如下： 定理：对于个体域I， xα（x）真，当且仅当I中各个体均使得α（x）真；当且仅当I中有一个体使得α（x）真。这个结论是易知的。 下面我们举例说明，给定一指派之后，如何确定公式α在该指派之下所取的值。 例：求ヨx y（（X（x，z）∧X（y，z）∧P）→ u（X（x，u）→X（y