离散数学第5章
- 格式:ppt
- 大小:209.50 KB
- 文档页数:34
5.1 一阶逻辑等值式与置换规则定义5.1设A,B是一阶逻辑中任意两个公式,若A B是永真式,则称A与B 是等值的。
记做A B,称A B是等值式。
谓词逻辑中关于联结词的等值式与命题逻辑中相关等值式类似。
下面主要讨论关于量词的等值式。
一、基本等值式第一组代换实例由于命题逻辑中的重言式的代换实例都是一阶逻辑中的永真式,因而第二章的16组等值式给出的代换实例都是一阶逻辑的等值式的模式。
例如:xF(x)┐┐xF(x)x y(F(x,y)→G(x,y))┐┐x y(F(x,y)→G(x,y))等都是(2.1)式的代换实例。
又如:F(x)→G(y)┐F(x)∨G(y)x(F(x)→G(y))→zH(z)┐x(F(x)→G(y))∨zH(z))等都是(2.1)式的代换实例。
第二组消去量词等值式设个体域为有限域D={a1,a2,…,a n},则有(1)xA(x)A(a1)∧A(a2)∧…∧A(a n)(2)xA(x)A(a1)∨A(a2)∨…∨A(a n) (5.1)第三组量词否定等值式设A(x)是任意的含有自由出现个体变项x的公式,则(1)┐xA(x)x┐A(x)(2)┐xA(x)x┐A(x)(5.2)(5.2)式的直观解释是容易的。
对于(1)式,“并不是所有的x都有性质A”与“存在x没有性质A”是一回事。
对于(2)式,“不存在有性质A的x”与“所有x都没有性质A”是一回事。
第四组量词辖域收缩与扩张等值式设A(x)是任意的含自由出现个体变项x的公式,B中不含x的出现,则(1)x(A(x)∨B)xA(x)∨Bx(A(x)∧B)xA(x)∧Bx(A(x)→B)xA(x)→Bx(B→A(x))B→xA(x) (5.3)(2)x(A(x)∨B)xA(x)∨Bx(A(x)∧B)xA(x)∧Bx(A(x)→B)xA(x)→Bx(B→A(x))B→xA(x) (5.4)注意:这些等值式的条件。
第五组量词分配等值式设A(x),B(x)是任意的含自由出现个体变项x的公式,则(1)x(A(x)∧B(x))xA(x)∧xB(x)(2)x(A(x)∨B(x))xA(x)∨xB(x) (5.5)二、基本规则1.置换规则设Φ(A)是含公式A的公式,Φ(B)是用公式B取代Φ(A)中所有的A之后的公式,若A B,则Φ(A)Φ(B).一阶逻辑中的置换规则与命题逻辑中的置换规则形式上完全相同,只是在这里A,B 是一阶逻辑公式。