离散数学2.3-4讲述.ppt

2.3 一阶逻辑等值式 等值式 基本等值式 量词否定等值式 量词辖域收缩与扩张等值式 量词分配等值式 前束范式 等值式与基本等值式 基本等值式: 命题逻辑中16组基本等值式的代换实例 如，?xF(x)??yG(y) ? ??xF(x)??yG(y) ?(?xF(x)??yG(y)) ? ??xF(x)???yG(y) 等 消去量词等值式 设D={a1,a2,…,an} ?xA(x)?A(a1)?A(a2)?…?A(an) ?xA(x)?A(a1)?A(a2)?…?A(an) 基本等值式(续) 量词否定等值式: (1) ??xF(x) ? ?x?F(x) (2) ??xF(x) ? ?x?F(x) 基本等值式(续) 量词辖域收缩与扩张等值式 设A(x)是含x自由出现的公式，B中不含x的出现 关于全称量词的： ?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) 基本等值式(续) ?、 ?在?、 ?联接词下，辖域可以扩充到一 切不含该指导变元的任意原子公式上，推广 地有： ?x(A(x)?B(y)) ? ?xA(x)?B(y) 两个条件：1、B