第11讲谓词逻推理.pptVIP

一阶逻辑永真式(tautology) 永真式:在各种赋值下取值均为真(逻辑有效式) 命题逻辑永真式: 在各种赋值下取值均为真(重言式) 永假式:在各种赋值下取值均为假(矛盾式) 命题逻辑永假式: 在各种赋值下取值均为假(矛盾式) 可满足式：非永假式 一阶逻辑等值式(来源) 命题逻辑等值式的代换实例 与变项命名有关的 换名规则 代替规则 与量词有关的 有限个体域量词消去 量词否定 量词辖域收缩与扩张 量词分配 相同量词的交换 前束范式 设φ为一谓词公式，如果φ具有如下形式：　　　Q1x1Q2x2...QnxnB其中Qi(1≤i≤n)为?或?，B 为不含量词的公式，则称φ为前束范式 前束范式存在定理 定理：任意一个谓词公式，都存在着一个等值的前束范式。 (注：利用换名规则或代替规则以及上述所提及的等值式可知，任意公式都有其前束范式(存在性)，但并不唯一.) 例1 ?xA(x,y) ? ?yB(y) ? ?xA(x,y) ? ?zB(z) ? ?x?z(A(x,y) ? B(z)) 一阶逻辑推理规则(定义) 推出： A?B 读作：A推出B 含义：A为真时, B也为真 A?B 当且仅当 A?B是永真式 例如： ?xF(x) ? ?xF(x) 一阶逻辑推理规则(来源) 命题逻辑推理规则的代换实例 基本等值式生成的推理规则 其他的一阶逻辑推理规则 ?xA(x)∨?xB