2-4-aolm-离散数学.pptVIP

定义2.10 设 A 是谓词公式，E 是它的个体域。若对 A 中的每个命题变元用任意确定的命题取代，每个个体变元用任意确定的 E 中的个体所取代后所得的命题真值都是 T，则称公式 A 在 E 上是永真的。 定义2.11 设 A、B 是谓词公式，E 是它们共同的个体域。若 A?B 在 E 上是永真式，则称在 E 上 A 蕴涵 B。 定义2.12 设 A 是谓词公式，如果 A 在任意个体域上都是永真的，则称 A 是永真的。 定义2.13 设 A、B 是谓词公式，若 A ? B 是永真式，则称 A 蕴涵 B，记作 A ? B。 定义2.14 设 A 是谓词公式，如果存在一个体域 E，在 E 中有一组个体，且存在一组命题变元的真值指派，经取代后能使 A 的真值为 T，则称 A 是可满足的。 定义2.15 设 A 是谓词公式，若 A 是不可满足的，则称 A 是永假的。 2.4.2 量词与联结词﹁之间的关系 例2.9： ﹁(?x)(A(x)?B(x))?(?x)(A(x)∧﹁B(x)) 例2.10：﹁(?x)(A(x)∧﹁B(x))?(?x)(A(x)?B(x)) 因为 A(x)?B(x)?﹁(A(x)∧﹁B(x))，因此有： 定理2.1 (1)﹁(?x)P(x)?(?x)﹁P(x)； (2)﹁(?x)P(x)?(?x)﹁P(x)。 在此约定，出现在量词之前的否定， 不是否定该量词， 而是否定被量化了的整个命题。 定理2.1 (1)﹁(?x)P(x)?(?x)﹁P(x)； (2)﹁(?x)P(x)?(?x)﹁P(x )。 证明：(1)若个体域 E 是有限的，设个体域为 {a1, a2, …, an} 则有： ﹁(?x)P(x)?﹁(P(a1)∧P(a2)∧…∧P(an)) ?﹁P(a1)∨﹁P(a2)∨…∨﹁P(an) ?(?x)﹁P(x) 若个体域 E 是无限的，设 ﹁(?x)P(x) 的真值为 T，则 (?x)P(x) 的真值为 F，即存在着某个体 a0 ?E 使 P(a0) 的真值为 F，因此 ﹁P(a0) 的真值为 T，从而 (?x)﹁P(x) 的真值为 T。 因此当 ﹁(?x)P(x) 的真值为 T 时， (?x)﹁P(x) 的真值也为 T。 同理可证当 ﹁(?x)P(x) 的真值为 F 时， (?x)﹁P(x) 的真值也为 F。 故无论个体域 E 是有限的或是无限的都有： ﹁(?x)P(x)?(?x)﹁P(x)。 (2)的证明与(1)相似，不再详述。 (3) (?x)A(x)∨(x)B(x) ? (?x)(A(x)∨B(x))； 设 E 为任一个体域， 若 (?x)A(x)∨(?x)B(x) 的真值 T， 即 E 中的任意个体 a0 都能使 A(a0) 的值为 T 或者使 B(a0) 的真值为 T， 因此 A(a0)∨B(a0) 的真值为 T， 由于 a0 是任一个体， 故 (?x)(A(x)∨B(x)) 在个体域 E 上为真， 即 (?x)A(x)∨(?x)B(x) ? (?x)(A(x)∨B(x)) (4) (?x)(A(x)∧B(x)) ? (?x)A(x)∧(?x)B(x) 由 (3) 可知 (?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)∧(?x)B(x)) (?x)(﹁A(x)∨﹁B(x)) ? (?x)﹁(A(x)∧B(x)) ? ﹁(?x)(A(x)∧B(x)) 因此，﹁((?x)A(x)∧(?x)B(x)) ?