1.8谓词演算的推理理论.pptVIP

1.8 　谓词演算的推理规则; 谓词逻辑中常用的推理规则其来源可分为两类： （一） 命题逻辑中的所有推理规则 如规则P、T及CP规则、反证法等亦可在谓词演算的推理中应用，只是应将各规则中的命题公式理解为谓词公式。? 谓词演算的推理方法可视为命题演算推理方法的扩张。 （二）谓词逻辑中特有的推理规则 1.?谓词演算中与量词有关的基本的永真蕴含式和逻辑等价式。 2.?量词的消去或添加规则 在谓词演算的推理中，某些前提或结论会受到量词的限制， 为了使用命题演算中的等价式和蕴含式，必须有消去或添加 量词的规则。;1. US规则(全称指定规则);例如： 设个体域D为实数集，谓词 F(x,y)：xy。 则?x?yF(x,y)： 对任意的实数x，都存在实数y，使xy。（真命题） 则下列推理正确的是：( ) 1.?x?yF(x,y)??yF(c,y) 2.?x?yF(x,y)??yF(x,y) 3.?x?yF(x,y)??yF(y,y) 4.?x?yF(x,y)??yF(z,y) 答案：1，2，4正确 3出错的原因是y已在?yF(x,y)中约束出现。;2. ES规则(存在指定规则);例如： 1. 设个体域D为整数集， 谓词 F(x)：x是奇数。 G(x)：x是偶数。 推理过程如下： (1)?xF(x)? F(c) (2)?xG(x)? G(c) 则?xF(x)，?xG(x)都是真命题，但 F(ｃ)∧G(ｃ) 假 出错原因：(2)中的ｃ已在(1)被指定了，已是一个特定的值。 (2)应改为： ?xG(x)? G(d) F(ｃ)∧G(d) 真 2. ?xF(x,y) ? F(c,y) 出错原因：c的确定还与y有关。 应改为：?xF(x,y)? F(cy,y);3. UG规则(全称推广规则);4. EG规则(存在推广规则);例如：设个体域D为实数集， a)谓词 F(x,y)：x y 则下列推理正确的是： 1. ?xF(x，y)? ?z?xF(x，z) 2. ?xF(x，y)? ?x?xF(x，x) 1对2错 b)谓词 F(x,y)：x*y=0 则下列推理正确的是： 1. ?x F(x,0) ? ?x?x F(x,x) 2. ?x F(x,0) ? ?z?x F(x,z) 1错2对;1. 量词的消去或添加规则只对前束范式（即辖域为整个公式）的量词成立，不能对出现在公式中间的量词使用它们。 2. 使用时，要严格按照限制条件去使用，并从整体上考虑个体常元和个体变元符号的选择。 3. 用y或c取代A(x)中自由出现的x时，一定要在x自由出现的每一处都取代。;例1-8-1 证明苏格拉底三段论：所有的人都是要死的。 苏格拉底是人。 所以苏格拉底是要死的。 解：设 M(x)：x是人。D(x)：x是要死的。a：苏格拉底 前提：?x( M(x)→D(x) )， M(a) 结论： D(a) 推理的形式结构：?x( M(x)→D(x) )∧M(a)→D(a) 证明: (1) ?x( M(x)→D(x) ) 规则P (2) M(a)→D(a) (1)US规则，规则T (3) M(a) 规则P (4) D(a) (2)(3)假言推理，规则T;例1-8-2 同事之间总是有工作矛盾的。 张平和李明没有工作矛盾。所以他们不是同事。 解：设F(x,y)：x和y是同事。Q(x,y)：x和y有工作矛盾。 a:张平 b:李明 前提： ?x?y(F(x,y)→Q(x,y))， ?Q(a,b) 结论： ?F(a,b) 证明: (1) ?x?y(F(x,y)→Q(x,y)) 规则P (2) ?y(F(a,y)→Q(a,y)） (1)US规则，规则T (3) F(a,b)→Q(a,b) (2)US规则，规则T (4) ?Q(a,b) 规则P (5) ?F(a,b)