aolm离散数学..ppt

将一谓词公式转换为与之等价的前缀范式的步骤一般为： 第一步：消去冗余量词且对给定的谓词公式的所有约束变元换名，使之和所有的自由变元都不同名，但要保持自由变元不动。 第二步：利用等价公式 (A?B) ? (A?B)∧(B?A) 及 (A?B) ? ﹁A∨B 将公式中的联结词 ? 和 ? 去掉。 第三步：利用等价公式 ﹁﹁A ? A ﹁(A∨B) ? A∧﹁B ﹁(A∧B) ? ﹁A∨﹁B ﹁(?x)P(x) ? (?x)﹁P(x) ﹁(?x)P(x) ? (?x)﹁P(x) 进行否定深入，将﹁号深入到命题变元和原子谓词公式的前面。 第四步：利用定理2.2、推论2.1等将所有的量词移到全式的最前面。(量词辖域的扩张与收缩) 【例2.18】将公式 (?x)P(x) ? (?x)Q(x) 化成前缀范式。 解：(?x)P(x)?(?x)Q(x) ? ﹁(?x)P(x)∨(?x)Q(x) ? (?x)﹁P(x)∨(?x)Q(x) ? (?x)(﹁P(x)∨Q(x)) 【例2.19】将公式 (?x)(?y)((?z)(P(x,z)∧P(y,z)) ? (?v)Q(x, y, v)) 化成前缀范式。 解： (?x)(?y)((?z)(P(x,z)∧P(y,z)) ? (?v)Q(z,y,v)) ?(?x)(?y)(﹁(?z)(P(x,z)∧P(y,z))∨(?v)Q(x,y,v)) ?(?x)(?y)((?z)(﹁P(x,z)∨﹁P(y,z))∨(?v)Q(x,y,v)) ?(?x)(?y)(?z)(?v)((﹁P(x,z)∨﹁P(y,z))∨Q(x,y,v)) 【例2.20】(?x)(((?y)P(x)∨(?z)Q(y, z)) ?﹁(?y)R(x, y)) 解： (?x)(((?y)P(x)∨(?z)Q(y,z))?﹁(?y)R(x,y)) ? (?x)((P(x)∨(?z)Q(y,z))?﹁(?y)R(x,y)) ? (?x)((P(x)∨(?z)Q(y,z))?﹁(?v)R(x,v)) ? (?x)(﹁(P(x)∨(?z)Q(y,z))∨﹁(?v)R(x,v)) ? (?x)((﹁P(x)∧﹁(?z)Q(y,z))∨(?v)﹁R(x,v)) ? (?x)((﹁P(x)∧(?z)﹁Q(y,z))∨(?v)﹁R(x,v)) ? (?x)(?z)(?v)((﹁P(x)∧﹁Q(y, z))∨﹁R(x,v)) 显然: 一个公式的前缀范式形式不是唯一的。 (3) ES 规则（存在指定规则） 这里 c 是指定个体域中的某一个个体。 但需注意的是，应用存在指定规则时， 指定的个体 c 不是任意的。 【例2.25】设个体域是全体整数， P(x) 表示 “x 是偶数”， Q(x) 表示 “x 是奇数”， 显然，P(2) 和 Q(3) 都为真，P(2)∧Q(3) 也为真， 故 (?x)P(x) 和 (?x)Q(x) 都为真， 但 P(2)∧Q(2) 为假。 (4) EG 规则（存在推广规则） 这里 c 是指定个体域中的某一个个体，该规则的成立是显然的。 【例2.26】 设个体域是全体人类， P(x) 表示 “x是天才”， P(爱因斯坦) 表示 “爱因斯坦是天才” 成立， 故 (?x)P(x) 成立。 在谓词逻辑的推理过程中可先使用 US 或 ES 消去量词，再使用命题逻辑中的重言式进行推理，在适当的时候使用 UG 或 EG 加上量词得到所需要的结论。下面举例说明。 2.6.3 推理规则的应用 【例2.27】证明 (?x)(P(x)?Q(x))∧(?x)(Q(x)?R(x))