一阶逻辑知识结构图.ppt

一阶逻辑知识结构图 2.4 一阶逻辑推理理论 关于量词分配的推理定律 全称量词消去规则 全称量词引入规则 存在量词引入规则 存在量词消去规则 关于量词分配的推理定律 ?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). UI规则:全称量词消去规则 ?xA(x)?A(y); ① ?xA(x)?A(c) ② 两式成立的条件是： ⑴. x是A(x)中自由出现的个体变项； ⑵ 在①式中，y为任意的不在A(x)中约束出现的个体变项。 ⑶ 在②式中，c为任意的个体变项。 实例：违背条件⑵ 论域：实数集; 谓词F(x,y)为xy ?x?yF(x,y)的真值？ ?x?yF(x,y)??yF(y,y)的真值？ UG规则:全称谓词引入规则 A(y) ? ?xA(x) 要求满足以下条件： ⑴ y在A(x)中自由出现，且y取任何值时A均为真； ⑵ 取代y的x不能在A(y)中约束出现，否则也会产生错误； 实例：违背条件⑵ 论域：实数集; 谓词F(x,y)为xy A(y) = ?xF(x,y) 对任意给定的y都成立 若取x代替y，得?x?x(xx)， 假命题 homework P54 2.16 2.17 字母表①②③④⑤⑥ 命题 解释 等值式 范式 一阶逻辑推理 量词?,? 谓词(常,变) 个体词(常,变.域) ① ②函数.⑤联结词⑥技术符号 ④ ③ 合式公式(原+④⑤⑥) 原子公式(项+③) 项①② 约束 自由 换名 真命题 假命题 * *