离散件3-谓词逻辑.pptVIP

例如： ?x ?y [A x ? B y ]是前束范式， 而 ?x A x ? ?y B y 则不是前束范式。 2。定义：如果前束范式的母式A是析取范式， 则称该前束范式为前束析取范式；如果母 式A是合取范式，则称该前束范式为前束 合取范式。 例如： ?x ?y [A x ? B y ]是前束析取 范式， ?x ?y [A x,y ? B x ? C y ] 是前束合取范式。 3。定理：每个谓词合适公式都存在前束合 取范式和前束析取范式。 例：求公式 ?x [A x ? ?y B y ]? ?y [?B y ?C y ] 的前束合取范式。 解： ?x [A x ? ?y B y ]? ?y [?B y ?C y ] ? ?x [ ?A x ? ?y B y ? ?B x ?C x ] ? ?x ?y [ ?A x ?B y ? ?B x ?C x ] 由此很容易得到它的前束析取范式 对母式利用分配律即可 。 作业：习题2。3 1, 2 （吴子华） or 习题2。3 1, 2 （冯伟森） 第四节 谓词公式的蕴含 一、定义：设A x 和B x 是论域? 上的两个 WFF，如果对论域上的任何解释，A x 取值 1 时，B x 也取值 1， 就说A x 在论域上蕴含B x 。 如果论域是全总个体域，就说A x 蕴含B x 。 A x 蕴含B x 记为A x ? B x 。 二、定理： A x ? B x 当且仅当A x ?B x 是永真式。 证明要点：同命题公式蕴含情形相似， 对于任何论域，当A x ? B x 时，在任 何解释下A x 取值 1时, B x 必取值 1， 因而A x ? B x 恒取值 1 ，即为永真式。 反之也对。 三、基本蕴含式 在命题逻辑中导出的蕴含式依然有效。 ?x A x ? ?x B x ? ?x [A x ? B x ] 证明要点：当左端取值 1时，则A x 或 B x 对任何客体 x都取值 1，从而右端也取值 1。 ?x [A x ? B x ] ? ?x A x ? ?x B x 证明要点：当左端取值 1时，则至少存在 一个客体 c 使A c 和 B c 都取值 1，从而 右端也取值 1。 ?x ?y A x, y ? ?y ?x A x, y ?y ?x A x, y ? ?x ?y A x, y ?x ?y A x, y ? ? x ? y A x, y 以上三式可以同样类似证明。 两个量词的等价式和蕴含式 ?x ?yP x,y ? ?y?xP x,y ?y?x ? ?x?y ?y?x ?x?y ?x?y ?y?x ? ? ? ? ? ? 作 业 习题2.4 1 4 5 , 2 1 3 （吴子华） or 习题2.4 1 4 5 , 2 1 3 （冯伟森） 第五节 谓词逻辑的推理 一、命题逻辑的推理规则（P、T、CP）、推理方法（直接法、反证法、CP法）以及基本蕴含式在谓词逻辑推理中同样适用。 二、在谓词逻辑中，除了使用命题 逻辑中的P规则、T规则和CP规 则外，还有专用于处理量词的 如下四条规则。 1。US规则： ?x A x ? A x 2。ES规则： ? x A x ? A c 3。UG规则：A x ? ?x A x 4。EG规则： A c ? ? x A x 例：证明 ?x [P x ?Q x ]?? ?x P x ? ?x Q x 证明:因为右端是条件式，可采用CP法。 序号 公 式 规 则 ⑴ ? ?x P x P 附加 ⑵ ? x [?P x ] TE ⑴ ⑶ ?P c ES ⑵ ⑷ ?x [P x ?Q x ] P ⑸ P c ? Q c US ⑷ ⑹ Q c TI ⑶⑸ ⑺ ?x Q x EG ⑹ ⑻ ? ?x P x ? ?x Q x CP⑴⑺ * ? ? ? ? ? ? ? ~ * ? ? ? ? ? ? ? ~ 第二章 谓词逻辑 首先看看著名的“苏格拉底三段论式”： Every man is mortal. Socrates is a man. Socrates is mortal. 按命题形式化方法，可翻译为 P，Q ? R 这个形式化结果无法利用命题逻辑推理证明。 又如 x+y 6 不是命题，但是对任何具体的实数x和y，它都有确定的真值。 命题逻辑的局限性 ----难以表达命题之间的内在联系； ----难以表达局部和全局的概念； ----没有考虑命题