[工学]离散数学一阶逻辑.ppt

量词辖域收缩与扩展等式 定理2.2 量词辖域收缩与扩展等式(1) ?x(A(x)∨B) ? (?xA(x)∨B) ?x(A(x)∧B) ? (? xA(x) ∧B) ?x(A(x)→B) ? (? xA(x)→B) ?x(B →A(x)) ? (B →?xA(x)) 量词辖域收缩与扩展等式 量词辖域收缩与扩展等式(1) ?x(A(x)∨B) ?(?xA(x)∨B) ?x(A(x)∧B) ?(? xA(x) ∧B) ?x(A(x)→B) ?(? xA(x) →B) ?x(B →A(x)) ?(B →?xA(x)) 证明:设D={a1,a2,…,an} ?x(A(x)∨B) ? (A(a1)VB) ∧(A(a2)VB)∧… ∧(A(an)VB) ? (A(a1)∧A(a2)∧…∧A(an)) ∨B ? ?xA(x)∨B ?x(A(x)→B) ? ?x(?A(x)∨B) ? ?x?A(x)∨B ? ? ? xA(x)VB ? (? xA(x) →B) 量词辖域收缩与扩展等式 量词辖域收缩与扩展等式(2) ?x(A(x)∨B) ? (?xA(x) ∨B) ? x(A(x)∧B) ? (?xA(x) ∧B) ? x(A(x)→B) ? (?xA(x) →B) ? x(B→A(x)) ?(B →? xA(x)) 量词分配等值式 定理2.3 量词分配等值式 ?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) 取F(x),G(x)代替A(x), B(x),只要证明 ?x(F(x) ∨G(x)) ? ?xF(x) ∨?xG(x)不是逻辑有效式. 解释I: D为自然数集合; F(x):x是奇数; G(x): x是偶数, ?x(F(x) ∨G(x))为真,但?xF(x) ∨?xG(x)是假, 故，?x(F(x)∨G(x)) ? ?xF(x)∨?xG(x)不是逻辑有效式. (交换量词)等值式 定理2.4 ?x?y A(x,y) ? ?y?x A(x,y) ? x ? y A(x,y) ? ? y ? x A(x,y) 前束范式 设A为一谓词公式,如果A具有如下形式:Q1x1Q2x2…QKxKB则称A为前束范式.其中每个Qi(1≤i≤k)为?或?, B为不含量词的谓词公式. 例如 ?x?y(F(x,y)→G(x,y) ? x?y ?z(F(x,y,z) →G(x,y,t)) 在一阶逻辑中,任何合式公式A的前束范式都是存在的,并且前束范式不是唯一的. 例题(1) 求下列公式的前束范式 ?xF(x)∧??xG(x)??xF(x)∧?x?G(x) ??x(F(x)∧?G(x)) ?xF(x)∨??xG(x)??xF(x) ∨?x?G(x) ??xF(x) ∨?y?G(y) ??x?y (F(x)∨?G(y)) 例题(2) ?xF(x)→?xG(x) ???xF(x)∨?xG(x) ? ?x?F(x)∨?xG(x) ? ?x(?F(x)∨G(x)) 一阶逻辑的基本概念 一阶逻辑合式公式及解释 一阶逻辑等值式 一阶逻辑推理理论 第二章 一阶逻辑 推理形式 推理的形式结构为 A1∧A2∧…∧AK→B 若该式是逻辑有效式,则称推理正确,B是A1 , A2 , … , AK 的逻辑结论. 此时将该式记为 A1∧A2∧…∧AK=B 一般将一阶逻辑的有效蕴涵式称为推理定律; 命题逻辑中重言蕴涵式,可采用代入实例也是一阶逻辑的推理定律. 每个等值式可产生两条推理定理. 关于量词分配的推理定理 定理2.5 (?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); x在A(x)中是自由出现的; y为任意不在A(x)中约束出现的个体变项; 反例: ?x?yF(x,y)= ?yF(y,y) 真命题 假命题 ?xA(x)=A(c); c为任意的个体常项; 全称量词引入规则(UG规则) A(y)=?xA(x) y在A(y)中自由出现,且y