离散 左孝凌 第2章 谓词逻辑.pptVIP

第2章 谓词逻辑 第2章 谓词逻辑 2.1 个体、谓词与量词 2.2 谓词公式 2.3 谓词演算的等价式与蕴含式 2.4 前束范式 2.5 谓词逻辑的推理理论 返回总目录 【例2.12】对 ?x P y ∧R x,y → ?y Q y 中的自由变元y进行代入。 解：用z代换y，代入后为： ?x P z ∧R x,z → ?y Q y 不能换成： ?x P x ∧R x,x → ?y Q y 或 ?x P z ∧R x,y → ?y Q y 2.3谓词演算的等价式与蕴含式 定义2.3.1 设A是谓词公式，如果对A的任何赋值，A都为真，则称A是有效的或永真的。 定义2.3.2 设A是谓词公式，如果对A的任何赋值，A都为假，则称A是不可满足的或永假的。 定义2.3.3 设A是谓词公式，如果至少有一组赋值使A为真，则称A是可满足的。 根据定义2.3.1和定义2.3.3，如果一个谓词公式是有效的，它一定是可满足的。 返回章目录 1．命题逻辑中的等价式的推广 如 ? p∨q ??p∧?q，故? p∨q ? ?p∧?q 为永真式， 用 ?x P x 代替p， ?y R y 代替q，得到永真式： ? ?x P x ∨ ?y R y ? ? ?x P x ∧? ?y R y 所以 ? ?x P x ∨ ?y R y ?? ?x P x ∧? ?y R y 2．消去量词等价式 设个体域为有限集?a1，a2，…，an?，A x 是含自由变元x的任意谓词公式，有下列等价式成立： ?x A x ?A a1 ∧A a2 ∧…∧A an ?x A x ?A a1 ∨A a2 ∨…∨A an 3．量词否定等价式 设A x 是含自由变元x的任意谓词公式。则 ? ?x A x ? ?x ?A x ? ?x A x ? ?x ?A x 约定，量词之前的否定联结词，不是否定该量词，而是否定该量词及其辖域。 这两个等价式可在有限个体域上证明，设个体域为?a1，a2，…，an? ? ?x A x ?? A a1 ∧A a2 ∧…∧A an ??A a1 ∨?A a2 ∨…∨?A an ? ?x ?A x ? ?x A x ?? A a1 ∨A a2 ∨…∨A an ??A a1 ∧?A a2 ∧…∧?A an ? ?x ?A x 4．量词作用域的扩展与收缩等价式 设A x 是含自由变元x的任意谓词公式。B是不含变元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 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 【例2.13】证明 ?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 5．量词分配等价式 设A x 和B x 是含自由变元x的任意谓词公式，则 ?x A x ∧B x ? ?x A x ∧ ?x B x ?x A x ∨B x ? ?x A x ∨ ?x B x 前者可以理解为：“所有的x有性质A和性质B”和“所有的x有性质A且所有的x有性质B”是等同的。后者可以利用前者来证明。 【例2.14】证明 ?x A x ∨B x ? ?x A x ∨ ?x B x 解： 因为 ?x ?A x ∧?B x ? ?x ?A x ∧ ?x ?B x 而 ?x ?A x ∧?B x ? ?x ? A x ∨B x ?? ?x A x ∨B x ?x ?A x ∧ ?x ?B x ?? ?x A x ∧? ?x B x ?? ?x A x ∨ ?x B x 所以 ? ?x A x ∨B x ?? ?x A x ∨ ?x B x 于是 ?x A x ∨B x ? ?x A x ∨ ?x B x 6．量词与联结词的蕴含式 设A x 和B x 是含自由变元x的任意谓词公式。 ?x A x ∨ ?x B x ? ?x A x ∨B x ?x A x ∧B x ? ?x A x ∧ ?x B x ?x A x →B x ? ?x A x → ?x B x ?x A x ?B x ? ?x A x ? ?x B x 对第一式作如下说明：令A x 表示x有一支钢笔，B x 表示x有一支铅笔，个体域是2