2-2 一阶逻辑 离散数学 教学课件.pptVIP

* 在一阶逻辑中将下面命题符号化 在《数学分析》中极限定义为： 任给小正数e，则存在一个正数d，使得当 0|x-a|d 时 有 |f (x)-b|e。此时即称 解：设 P(x, y)：xy Q(x, y)：xy 该命题符号化为： (?e)(?d)(?x)(((P(e,0) ?P(d,0))∧ Q(|x-a|, d)∧P(|x-a|, 0)) ? Q(|f (x)- b|, e)) 第2章 一阶逻辑 一阶逻辑基本概念、命题符号化 一阶逻辑公式、解释及分类 一阶逻辑等值式、前束范式 一阶逻辑推理理论 公式的分类 问题： ?xF(x)??x?F(x) 有成真解释吗？ ?xF(x)??x?F(x) 有成假解释吗？ 永真式（逻辑有效式）：无成假赋值 矛盾式（永假式）：无成真赋值 可满足式：至少有一个成真赋值 几点说明： 永真式为可满足式，但反之不真; 判断公式是否为永真式不是易事; 某些代换实例可判公式类型 代换实例 定义 设A0是含命题变项p1, p2, …,pn的命题公式，A1,A2,…,An是n个谓词公式，用Ai处处代替A0中的pi (1?i?n) ，所得公式A称为A0的代换实例. 例如: F(x)?G(x), ?xF(x)??yG(y) 都是p?q的代换实例 但：?x(F(x)?G(x)) 不是 p?q 的代换实例. 定理 重言式的代换实例都是永真式，矛盾式的代换实例都是矛盾式。 代换实例举例 例：判断下列公式中哪些是逻辑有效式？哪些是矛盾式？ (1) ?xF(x) ??xF(x) 因为若前件是真，则后件肯定为真； 若前件是假，则后件肯定为假； 所以，此公式为逻辑有效式（永真式） (2) ?(F(x,y) ?R(x,y)) ?R(x,y) 代换实例：?(p ?q) ?q ??(?p ? q) ?q ?(p ? ? q) ?q ?0 所以是矛盾式 代换实例举例 例：判断下列公式中哪些是逻辑有效式？哪些是矛盾式？ (3) ?x?yF(x,y) ? ?x?yF(x,y) 取解释I如下： 个体域N； F(x, y)：x≤y ?x?y(x≤y)??x?y(x≤y) 逻辑真 逻辑真 取解释I如下： 个体域N； F(x, y)：x=y ?x?y(x=y) ? ?x?y(x=y) 逻辑真 逻辑假 可见，此公式是非逻辑有效式的可满足式 2.3 一阶逻辑等值式 定义 设A、B是一阶逻辑中任意的两公式，若A?B为逻辑有效式，则称A与B是等值的，记作 A?B，并称A?B为等值式. 命题逻辑中等价式的推广 因为重言式都是逻辑有效式，所以第1章中的24个等值式及其代换实例都是一阶逻辑中的等值式： 如： ?(A?B)??A??B ?(?xF(x)??yG(y)) ? ??xF(x)???yG(y) 如： A?B??A??B ?xF(x)??yG(y) ? ??xF(x)??yG(y) 一阶逻辑等值式 消去量词等价式 当个体域为有限集时，如D={a1,a2,a3,….,an} 。 对于任意谓词，都有 ?x A(x)=A (a1) ? A(a2) ?…… ? A(an) ?x A(x)=A (a1) ? A(a2) ? …… ? A(an) 量词否定等价式 设A(x)是含自由变项x的任意谓词公式。则 ?(?x)A(x) ? (?x)?A(x) ?(?x)A(x) ? (?x)?A(x) 约定 量词之前的否定联结词，不是否定该量词，而是否定该量词及其辖域 量词作用域的扩展与收缩等价式 (?x)(A(x)∨B)?(?x)A(x)∨B (?x)(A(x)∧B)?(?x)A(x)∧B (?x)(A(x)∨B)?(?x)A(x)∨B (?x)(A(x)∧B) ?(?x)A(x)∧B (?x)(B? A(x))?B ? (?x)A(x) (?x)(B? A(x)) ?B ? (?x)A(x) (?x)(A(x) ? B)?(?x)A(x) ? B (?x)(A(x) ? B) ?(?x)A(x) ? B 设：A(x)是含自由变元x的任意谓词公式。 B是不含变元x的谓词公式 量词对应两边没改变 量词对应两边有改变 量词的扩展 量词的收缩