第4章 节 谓词逻辑 电子科大离散数学内部.pptVIP

例4.3.3 解 （1）构造解释I1为 P(a) = 0，P(b) = 0，Q(a) = 1，Q(b) = 1， 则(P(a)→Q(a))∧(P(b)→Q(b))在此解释I1下真值为1，(P(a)∨P(b))→(Q(a)∧Q(b))在此解释I1下真值为1，即 I1使得等价式前面的(?x)(P(x)→Q(x))为真， 且使得等价式后面的((?x)P(x)→(?x)Q(x))为真，因此，这样的解释使得原公式的真值为真。 例4.3.3 解（续） （2）构造解释I2为 P(a)= 0，P(b) = 1，Q(a)= 0，Q(b)= 1， 则(P(a)→Q(a))∧(P(b)→Q(b))在此解释I2下真值为1，(P(a)∨P(b))→(Q(a)∧Q(b))在此解释I2下真值为0，即 I2使得等价式前面的(?x)(P(x)→Q(x))为真， 而使得等价式后面的((?x)P(x)→(?x)Q(x))为假，因此，这样的解释使得原公式的真值为假。 例4.3.4 ①.个体域为D＝{α，β}； ②.a指定为：α； ③.f(α)指定为：β,f(β)指定为：α； ④.P(α)指定为：1,P(β)指定为：0， Q(α,α)指定为：0，Q(α,β)指定为：1， Q(β,α)指定为：1，Q(β,β)指定为：1 设有公式(?x)(P(f(x))∧Q(x，f(a)))。在如下给定的解释下，判断该公式的真值。 例4.3.4 解 （续） 因当x＝β时，有： f(β)＝α，P(f(x))＝P(f(β))＝P(α)＝1, f(a)＝f(α)＝β， Q(x，f(a))＝Q(β，f(α))＝Q(β，β)＝1。 所以：P(f(β))∧Q(β,f(a))＝1∧1＝1， 即存在x＝β,使得P(f(β))∧Q(β，f(a))＝1， 即：(?x)(P(f(x))∧Q(x，f(a)))＝1。 4.3.4 谓词合式公式的分类 例4.3.5 给出公式：P(a)→(?x)P(x)和(?x)P(x)→P(a)，讨论公式的真值情况。 解（1）对于公式P(a)→(?x)P(x)，对任何解释I： （a）当P(a)取值为真时，(?x)P(x)也必为真， 此时，P(a)→(?x)P(x)的真值为真； （b）当P(a)取值为假时，(?x)P(x)可为真，也 可为假，此时，P(a)→(?x)P(x)的真值为真；所以，P(a)→(?x)P(x)在任何情况下的真值恒为真 例4.2.3(续) （5）尽管有人很聪明，但未必一切人都聪明 设M(x)：x是人；C(x)：x很聪明，则： (?x)(M(x)∧C(x))∧ ┐(?x)(M(x)→C(x))； （6）对于任意给定的?0，必存在着?0，使得对任意的x，只要|x-a|?，就有|f(x)-f(a)|?成立。 设个体域为实数集合，则原命题可符号化为： (??)((?0)→(??)((?0)∧(?x) ((|x-a|?)→(|f(x)-f(a)|?))))。 4.2.3 谓词的语言翻译 特殊的，当个体域D＝{x0, x1, …}是可数集合时，上述(?x)G(x)、(?x)G(x)的真值可表示为： (?x)G(x)=G(x0)∧G(x1)∧... (?x)G(x)=G(x0)∨G(x1)∨... 个体域可数或有限 更特别的，当个体域D＝{x1, x2, … xn}是有限集合时，上述(?x)G(x)、(?x)G(x)的真值可以用与之等价的命题公式来进行表示。 (?x)G(x)=G(x1)∧G(x2)∧...∧G(xn) (?x)G(x)=G(x1)∨G(x2)∨...∨G(xn) 例4.2.5 设P(x)：x是素数；I(x)：x是整数；Q(x, y)：x+y=0。用语句描述下述句子，并判断其真假值。 （1）(?x)(I(x)→P(x))； （2）(?x) (I(x)∧P(x))； （3）(?x) (?y)(I(x)∧I(y)→Q(x, y))； （4）(?x)(I(x)→(?y)(I(y)∧Q(x, y)))； （5）(?x)(?y)(I(x)∧(I(y)→Q(x, y)))。 例4.2.5 解 句子(1)可描述为：“对任意的整数x，x一定是素数”，真值为“假”； 句子(2)可描述为：“存在一些整数x，x是素数”，真值为“真”； 句子(3)可描述为：“对任意的整数x，y，都有x+y=0”，真值为“假”； 句子(4)可描述为：“对任意的整数x，都存在着整数y，使得x+y=0”，真值为“真”； 句子(5)可描述为：“存在着整数x，使得对任意的整数y，都有x+y=0”