1.8谓词演算的推理沟逆则.pdf

离散数学 Discrete Mathematics 数理逻辑 张晓 西北工业大学计算机学院 zhangxiao@nwpu.edu.cn 2011-1-10 1.8.1 “A (x )对y是自由的” 可以这样吧 考察以下谓词公式: x替换为y 吗？ ∀yP(y)∨Q(x)∨R(x) ∀yP(y)∨Q(y) ∨R(x) ∃yP(x,y)∨Q(x,y) ∃yP(y,y) ∨Q(y,y) ∀yP(y)∨Q(x,y) ∀yP(y)∨Q(y,y) 2011-1-10 离散数学 2 术语“A(x)对y是自由的” : 如果公式A (x) 中, x 不出现在量词∀y 或 ∃y 的辖域之内, 则称A (x)对y 是自由的。 上面的例子中，第二个式子中的x是对y不自由的。 不自由变量，不能进行代入。 想替换x为y时，可以替换与y没有关系（自由）的x，否则不能替换 2011-1-10 离散数学 3 (2)式如果有必要代入y , 则应先将式中的约束变元y 改名, 例 如, 把(2)式改名为: ∃zP(x, z) ∨Q(x, y ) 然后代入得 ∃zP(y, z)∨Q(y, y) 2011-1-10 离散数学 4 1.8.2 谓词演算中的推理规则 - 命题演算中所有推理规则都是谓词演算中的推理规则; - 谓词演算中的所有永真蕴含式 , 恒等式和代入规则 也都可作为推理规则。 2011-1-10 离散数学 5 (1) 全称指定规则(全称特定化规则/全称量词消去规则 ) (Universal Specification)简记为US ∀xA(x) ∴A(y ) 应用US规则的条件是: A(x)对于y必须是自由的。 ∃ ∀ ∀ ∃ 设 A(x) y (x y ) 则 xA(x) x y (x y ) , x,y的 个体域为R， 是一真命题. 若应用US得 ∃ ，则是错误的。 y (y y ) 正确的做法是换成 ∃ ∈ y (z y ) (z R) 这一规则也可写为: ∀xA(x)推得A(x) 或 ∀xA(x) ⇒A(x). 它的意义是, 全称量词可以删除。 2011-1-10 离散数学 7 (2) 存在指定规则(存在特定规则/存在量词消去规则 )