一阶逻辑推理离散数学.pptVIP

* 3.3、 谓词演算的推理理论 在谓词演算中，推理的形式结构仍为 若 是永真式， 则称由前提 逻辑的推出结论C， 在此 , C均为谓词公式。 一、推理规则 命题演算中的推理规则，可在谓词推理理论中应用。 谓词逻辑中的基本重言蕴含式 ) ( ) ( )) ( ) ( ( ) 6 ( ) ( ) ( )) ( ) ( ( ) 5 ( ) ( ) ( )) ( ) ( ( ) 4 ( )) ( ) ( ( ) ( ) ( ) 3 ( x xB x xA x B x A x x xB x xA x B x A x x xB x xA x B x A x x B x A x x xB x xA ? T ? $ ? $ T ? ? T ? ? T ? $ 二、与量词有关的推理规则 1. US(全称特定化规则) 使用此规则时要注意： （1）y为任意不在A(x)中约束出现的个体变元； （2）c为任意的个体常元 。 关于（1）的反例： 对于 ， x,y的 个体域为实数集R， 是一真命题. 若应用US得 ，则是错误的。 正确的做法是换成 使用此规则时应注意： （1）c 是使A为真的特定个体常元； c不在A(x)或其前的推导中出现。 （2）如果A(x)中有其他自由变元出现，且x是随其他自由变元变化的，那么不能使用此规则。 2. ES（存在特定化规则） 例如：对于 ，个体域为实数集。 若使用ES规则，得到c=y, 即在实数集中有一实数c等于任意实数y.结论显然不成立。 关于（2）的反例： 证明（1） 前提 （2） （1）；化简 例 指出下面推理的错误. （3） （1）；化简 （4） （2）；ES （5） （3）；ES （6） （4）（5）；合取引入 （7） （6）；EG 因此 3. UG（全称一般化规则） 使用此规则时注意: (1) y在A(y)中自由出现，且y取任何值时A均为真。（即y不能是某些特定的个体）见下例 (2) x不在A(y)中约束出现 例 指出下面推理的错误. 设D(x,y)表示“x可被y 整除” ,个体域 为{ 5,7 ,10 ,11 }. 因为D(5，5)和D(10,5)为真，所以 xD(x,5)为真. 因为D(7，5)和D(11,5)为假，所以 xD(x,5)为假. 但有下面的推理过程： (1) xD(x,5) 前提 (2) D(z,5) (1);ES (3) xD(x,5) (2);UG 因此， xD(x,5) xD(x,5). 4、EG（存在一般化规则） 使用此规则时注意: (1) c是个体域中某个确定的个体。 (2) 代替c的x不能已在A(c)中出现。 三、推理规则的应用 例1 证明苏格拉底的三段论。“凡人都是要死的， 苏格拉底是人，所以苏格拉底