ch2谓词逻辑3-1.ppt

谓 词 逻 辑 命题逻辑的局限性：（1）表达能力的局限性 （2）推理能力的局限性 例 在谓词逻辑中表示自然数的两个基本事实。 (1)每个自然数都有后继。 (2)没有一个以0作为后继的自然数。 令N(x)：x是自然数，S(x,y)：y是x的后继。 例 设论域为整数集，谓词L(x,y)表示“x小于y”， 试判断以下命题真值。 (1) ?x ?y L(x,y) (2) ?y ?x L(x,y) (3) ? x ? y L(x,y) (4) ? y ? x L(x,y) (5) ?x ? y L(x,y) (6) ? y ?x L(x,y) (7) ?y ? x L(x,y) (8) ? x ?y L(x,y) 五、谓词公式的分类 定义 设A为一公式， 若A在任何解释下均为真，则称A为永真式。 若A在任何解释下均为假，则称A为矛盾式。 若至少存在一个解释使A为真，则称A为可满足式。 思考： 判断下列各题是否为永真式？ 如否，必须构造一个使该命题在某一特定个体域上的表现实例作为反例。 （1）?x?y P（x，y）→ ?y?x P（x，y） （2）?x?y Q（x，y）→ ?y?x Q（x，y） （3）(?x P（x）∨?x Q（x）)→ ?x（P（x）∨Q（x）） （4）?x（P（x）∨Q（x））→ ?x P（x）∨?x Q（x） §2.3 谓词逻辑的等值演算 (一)命题逻辑中结论的推广 在命题逻辑中成立的基本等价式和基本蕴含式及其代换实例都是谓词逻辑的等价式和蕴含式。 (二)量词与否定的交换 (1)??xA(x) ? ?x?A(x) (2)??xA(x) ? ?x?A(x) 一、等值演算 (三)量词辖域的扩张和收缩 (1) ?x(A(x)?B) ? ?xA(x)?B (2) ?x(A(x)?B) ? ?xA(x)?B (3) ?x(A(x)?B) ? ?xA(x)?B (4) ?x(A(x)?B) ? ?xA(x)?B (5) ?x(A(x)?B) ? ?xA(x)?B (6) ?x(B?A(x)) ? B??xA(x) (7) ?x(A(x)?B) ? ?xA(x)?B (8) ?x(B?A(x)) ? B??xA(x) (四)量词和联结词的关系的等价式 (9) ?xA(x)??xB(x) ? ?x(A(x)?B(x)) (10) ?xA(x)??xB(x) ? ?x(A(x)?B(x)) (11) ?xA(x)??xB(x) ? ?x?y(A(x)?B(y)) (12) ?xA(x)??xB(x) ? ?x?y(A(x)?B(y)) (13) ?x(A(x)?B(x)) ? ?xA(x)??xB(x) (五)量词和联结词的重言蕴含式 (14) ?xA(x)??xB(x) ? ?x(A(x)?B(x)) (15) ?x(A(x)?B(x)) ? ?xA(x)??xB(x) (16) ?xA(x)??xB(x) ? ?x(A(x)?B(x)) 二、前束范式 在命题逻辑中，我们常常把命题公式规范化，化为与之等价的范式。类似地，在谓词逻辑中也有范式，同样为我们研究谓词逻辑中的公式提供了一种规范的标准形式。下面就介绍一阶逻辑公式的标准形——前束范式。 定义 设A为一个谓词公式，若A中所有量词均出现在公式的最前面，且他们的辖域一直延伸到公式的末尾，则称公式A为前束范式。 前束范式的定义 定理 对任意的谓词公式A，都存在与之等值的前束范式。 定理 (前束范式存在定理)谓词逻辑中的任何公式都存在与之等价的前束范式。 化归过程如下： (1) 消去除 ┐、∧、∨之外的联结词； (2) 将否定┐移到量词之后； (3) 换名规则使各变元不同名； (4) 扩大辖域使所有量词处在最前面。 合取(析取)前束范式的化归过程 §2.4 谓词逻辑的推理理论 自然推理系统F定义如下： 1．符号表。 2．谓词公式 。 3．推理规则（1） 前提引入规则； （2） 结论引入规则； （3） 置换规则； （4） 假言推理规则（或称分离规则） （5） 附加规则； （6） 化简规则； （7） 拒取式规则； （8） 假言三段论规则； （9） 析取三段论规则； （10） 构造性二难推理规则； （11） 破坏性二难推理