数理逻辑_4.ppt

数理逻辑 命题逻辑 命题 联结词 合式公式 等价式 范式 推理理论 谓词逻辑 谓词与量词 合式公式 等价与范式 推理理论 等价与范式 定义１　设A，B是两个公式，如果在A，B的每一个解释及赋值下，A，B总有相同的真值，则称A与B等价，记为A＝B． 显然，A＝B当且仅当A?B有效． （什么是有效？） 谓词逻辑中的基本等价式 １．从命题逻辑中移植来的等价式 由??P＝P 可得　 ?? A＝A. 由　P→Q＝?P∨Q 可得　A→B＝?A∨B. ２．量词否定型等价式 ? ?xA(x) ＝ ?x? A(x). ? ?xA(x) ＝?x? A(x). 谓词逻辑中的基本等价式 ? ?xA(x) ＝ ?x? A(x) 的部分证明： 任取一个解释I及赋值v，设在此解释及赋值下，??xA(x)为１, 即 ??xA(x)I,v＝１，则 ?xA(x)I,v＝０，即有一个a∈D使A(a)I,v＝０，于是 ? A(a)I,v＝１，故 ?x? A(x)I,v＝１． 反之，……。 谓词逻辑中的基本等价式 3. 量词分配等价式． (1) ?x(A(x)∨B)＝?xA(x)∨B. ?x(A(x)∨B)＝?xA(x)∨B. ?x(A(x)∧B)＝?xA(x)∧B. ?x(A(x)∧B)＝?xA(x)∧B. (2) ?x(A(x)∧B(x))＝?xA(x)∧?xB(x). ?x(A(x)∨B(x))＝?xA(x)∨?xB(x). ?x?y(A(x)∨B(y))＝?xA(x)∨?xB(x). ?x?y(A(x)∧B(y))＝?xA(x)∧?xB(x). 定义２　形如 Q１x１Q２x２…Qnxn M 的公式称为前束范式，其中Qixi (１≤i≤n) 是?xi 或 ?xi，称为首标，M中不含任何量词，称为母式．如果将M中的原子公式及其否定视为文字， 当M是析取范式时，上述公式称为前束析取范式；当M是合取范式时，上述公式称为前束合取范式. 定理１　对任意谓词公式A，都存在与其等价的前束范式 . 证明　通过如下步骤，可将A化为前束范式． (1)使用等价式 　　　　A ? B＝(A→B)∧(B→A), A→B＝?A∨B 去除→与? ， (2)使用Morgan律和双重否定律及量词否定型等价式将 ? 放在原子公式之前． (3)利用量词分配等价式，将所有量词提到公式前面(必要时换名)． 第二类型Skolem范式 生成方法：去掉存在量词 例： ?x ?y ?z ?u ?v ?w P(x,y,z,u,v,w) 定理 2：公式A永假 当且仅当 其Skolem范式永假。 推理理论 定义１　设A，B是两个公式，如果对任意解释I及赋值v，当A的真值为１时必有B的真值为１，则称A蕴涵B，记为A ? B． 显然，A ? B当且仅当A→B有效． 用定义证明基本推理公式 １．? xA(x)∨xB(x) ? ?x(A(x)∨B(x)) ２．? x(A(x)∧B(x)) ? ?xA(x)∧xB(x) ３．?x(A(x)→B(x)) ? ?xA(x)→?xB(x) ４．?x(A(x)→B(x)) ? ?xA(x) →xB(x) ５．?x(A(x)B(x)) ? ?xA(x)xB(x) ６．?x(A(x)B(x)) ? ?xA(x)?xB(x) ７．?x(A(x)B(x))∧?x(B(x)→C(x)) ??x(A(x)→C(x)) ８．?x(A(x)→B(x))∧A(a)B(a) ９．?x?yA(x，y) ? ?x?yA(x，y) 10．? x?yA(x，y) ? ?y?xA(x，y) 解释性证明过程 公式10：?x?yA(x，y) ? ?y?xA(x，y) 设在解释I和赋值v下，?x?yA(x，y)的真值为１，则必有a∈D使 ?yA(a，y)的真值为１，即对每一y∈D，A(a，y) 的真值为１，从而对每一y∈D， ?xA(x，y)为１，即?y?xA(x，y)的真值为１． 一般推理规则 １．全称量词消去律 (?-) 　２．全称量词引入律 (?+) 条件：在任意解释I和赋值v下，A(x)I,v的真值与x无关. ３．存在量词消去律． 其中：c是D中一个固定个体. ４．存在量词引入律　　 条件：x不在A(c)中出现 例１　前提：?x(P(x)→Q(x)) 　　　　　　?x(Q(x)→R(x)) 　　　结论：?x(P(x)→R(x)) 证明 （1） ?x(P(x)→Q(x)) P （2） P(x)→Q(x) ?- (1) （3） ?x(Q(x)→R(x)) P （4） Q(x)→R(x)