离散数学27谓词演算推理理论.pptVIP

第二章谓词逻辑 2-7 谓词演算的推理理论 授课人：李朔 Email:chn.nj.ls@ 一、谓词演算推理规则 谓词演算的推理方法,可以看作是命题演算推理方法的扩张。 在一阶逻辑中，推理的形式结构仍为 H1 ? H2 ?…? Hn?B。 若该式为逻辑有效式，则称推理正确，称B是H1 ，H2 ，…，Hn，的逻辑结论，记H1 ? H2 ?…? Hn ? B。 一般的，将逻辑有效蕴含式称为推理定律。命题逻辑中的重言蕴含式，在一阶逻辑中的代入实例，都是一阶逻辑中的推理定律。另外，每个等值式都可产生两条推理定律。 一、谓词演算推理规则 谓词演算推理规则 P规则：前提在推导过程中的任何时候都可以引入使用。 T规则：在推导过程中，如果有一个或多个公式重言蕴涵这公式S，则公式S可以引入推导之中。 命题演算推理中的P规则、T规则（置换规则、合取引入规则）在谓词推理中都是对的，都可以使用； 一、谓词演算推理规则 在谓词推理中，某些前提与结论可受量词限制，为了使用等价式和蕴含式，必须在推理过程中有消去和添加的规则，使推理类似于命题演算中的推理理论。 在推理过程中，除了用到命题逻辑中的推理规则外，还须用到下面4条规则。其中A ? B不一定表示A→B是逻辑有效式(非永真)，而仅表示在一定条件下，当A为真时，B也为真的推理关系。 全称指定规则（简称US规则） 全称推广规则（简称UG规则） 存在量词指定规则（简称ES规则） 存在推广规则（简称EG规则） 二、全称指定规则 1．全称指定规则（简称US规则） (?x)P(x) ∴P(c) 这条规则可以有二种形式： ?xP(x)?P(y) ① ?xP(x)?P(c) ② 在推理过程中①，②两种形式可根据需要选用。两式成立的条件是： （1）x为P（x）中自由出现的个体变元(不在P(x)中受约束） （2）在①中，y为不在P（x）中约束出现的个体变元； （3）在②中，C为任意的论域中某个客体。 二、全称指定规则 *全称指定规则在使用中，若不注意条件会犯错误。 例如 在实数集中的二元谓词F（x，y）：xy，则公式 ?x?y F(x, y)为真命题。 设P（x）=?y F(x, y),此时x在P（x）中自由出现， 若用y取代x，则得 ?x(?yF(x, y))??y F(y ,y), 结论为“存在y，yy”，这是假命题 *出错原因为y在P（x）中是约束出现。 三、全称推广规则 2．全称推广规则（简称UG规则） P(x) ∴(?x)P(x) P（y）? ?xP(x) 上式成立，要求以下条件： （1）y在P（y）中自由出现，且y取任何值时P（y）均为真； （2）取代y的x不能在P（y）中约束出现，否则产生错误。 三、全称推广规则 例 在实数集中F（x，y）：xy， 取P（y）= ?x F(x, y)对给定y都成立。 若应用上式时，以x取代y 得?x(?x(xx))，这是假命题 *出错原因是违背了（2）。 四、存在量词指定规则 3．存在量词指定规则（简称ES规则） (?x)P(x) ∴P(c) ?xP(x) ? P(c) 上式的成立，要求满足以下条件： (1)c是使P（x）为真的特定个体常项； (2) c不曾在P（x）中出现； (3) P（x）中除x还有其它自由的客体变元时，不能用此规则。 四、存在量词指定规则 例：在自然数集中，设F（x）：x为奇数，G（x）：x为偶数。则 ?x F(x)??x G(x) 为真命题。 如果不注意以上条件的使用，从?x F(x)，?x G(x)会推出假命题来： 1．?x F(x) P 2．F（c） ES(1) 3．?x G(x) P 4．G（c） ES(3) 5．F（c）? G(c) T(2),(4)I 6．?x( F(x)?G(x)) EG(5) *以上结论显然错的，其原因是违背条件（1），2步与4步中的c不应相同。 四、存在量词指定规则 又如，在实数集中，?x?y(xy)是真命题，请看下面推导： 1．?x?y(xy) P 2．?y（zy） US(1) 3．zc