2.3一阶逻辑等价式与前束范式.ppt

* 以此页符号为修改标准 * 2.3 一阶逻辑等值式与前束范式 等值式 基本等值式 量词否定等值式 量词辖域收缩与扩张等值式 量词分配等值式 前束范式 5.1 一阶逻辑等值式与置换规则 在一阶逻辑中，有些命题可以有不同的符号化形式。 例如：没有不犯错误的人 令 M(x):x是人。 F(x):x犯错误。 则将上述命题的符号化有以下两种正确形式： (1) ┐?x(M(x)∧┐F(x)) (2) ?x(M(x)→F(x)) 我们称(1)和(2)是等值的。 说明 * 等值式与基本等值式 基本等值式: 命题逻辑中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) 定义 若A?B为逻辑有效式，则称A与B是等值的， 记作 A?B，并称A?B为等值式. * 基本等值式(续) 量词辖域收缩与扩张等值式 设A(x)是含x自由出现的公式，B中不含x的出现 关于全称量词的： ?x(A(x)?B)??xA(x)?B ?x(A(x)?B)?