第2章一阶逻辑离散数学离散数学（第四版）清华出版社课件.pptVIP

* Table 2 Table2两个变量的量词 描述 真 假 ?x?yP(x,y) ?y?xP(x,y) 对于任意一组x和y，P(x,y)为真 存在一组x和y，使得P(x,y)为假 ?x?yP(x,y) 对于任意x，存在y，使得P(x,y)为真 存在x，对于任意y，P(x,y)为假 ?x?yP(x,y) 存在x，对于任意y，P(x,y)为真 对于任意x，存在y，使得P(x,y)为假 ?x?yP(x,y) ?y?xP(x,y) 存在一组x和y，使得P(x,y)为真 对于任意一组x和y，P(x,y)为假 一阶逻辑公式及解释 * 在谓词公式?xA和?xA中，称x为指导变项，称A为相应量词的辖域。在辖域中，x的所有出现称为约束出现（即x受相应量词指导变项的约束），A中不是约束出现的其他变项称为自由出现。 DEFINITION 5. 一阶逻辑公式及解释 * 指出下列谓词公式中的指导变项、量词的辖域、个体变项的自由出现和约束出现： ?x(F(x)→?yH(x, y)) EXAMPLE 19 解答：?yH(x,y)中，y为指导变项，?的辖域为H(x,y)，其中y是约束出现的，x是自由出现的。整个公式中，x是指导变项，?的辖域为(F(x)→?yH(x,y))，x,y都是约束出现的。x约束出现2次，y约束出现1次。 一阶逻辑公式及解释 * 指出下列谓词公式中的指导变项、量词的辖域、个体变项的自由出现和约束出现： ?x?y(R(x,y)∨L(y,z))∧?xH(x, y) EXAMPLE 20 解答：?x?y(R(x,y)∨L(y,z))中，x,y都是指导变项，量词的辖域为(R(x,y)∨L(y,z))，x,y是约束出现的，z是自由出现的。?xH(x,y)中，x是指导变项，?的辖域为H(x,y)，x是约束出现的，y是自由出现的。在此公式中，x是约束出现的，y是约束出现的，又是自由出现的，z是自由出现的。 一阶逻辑公式及解释 * 一个解释I由下面4部分组成： (1)非空个体域D； (2)D中一部分特定元素（用来解释个体常项）； (3)D上一些特定的函数（用来解释出现的函数变项）； (4)D上一些特定谓词（用来解释谓词变项）。 DEFINITION 6. 一阶逻辑公式及解释 * 给定解释I如下： 1) DI={2,3}; 2) DI中特定元素a=2; 3) 函数f(x)为f(2)=3,f(3)=2; 4) 谓词F(x)为F(2)=0,F(3)=1; G(x,y)为G(i,j)=1, i,j=2,3. EXAMPLE 21 一阶逻辑公式及解释 在解释I下，求下列各式的真值： (1) ?x(F(x)∧G(x,a)); (2) ?x(F(f(x))∧G(x,f(x))). * 解答： 设(1),(2)中公式分别为A,B，在解释I下： (1)A?(F(2)∧G(2,2))∧(F(3)∧G(3,2)) ?(0∧1)∧(1∧1) ?0. (2)B?(F(f(2))∧G(2,f(2)))∨(F(f(3))∧G(3,f(3))) ?(F(3)∧G(2,3))∨(F(2)∧G(3,2)) ?(1∧1)∨(0∧1) ?1. 一阶逻辑公式及解释 * 设A,B是一阶逻辑中任意的两公式，若A?B是永真式，则称A与B是等值的。记作A?B，称A?B为等值式。 DEFINITION 7. 一阶逻辑 一阶逻辑等值式 3 * 定理1：（量词否定等值式） ﹁?xP(x) ? ?x﹁P(x). ﹁?xQ(x) ? ?x﹁Q(x). 一阶逻辑等值式 * Table 3 Table3 否定量词 否定 等值描述 真 假 ﹁?xP(x) ?x﹁P(x) 对于任意x，P(x)为假。 存在一个x，使得P(x)为真。 ﹁?xP(x) ?x﹁P(x) 存在一个x，使得P(x)为假。 对于任意x，P(x)为真。 一阶逻辑等值式 * 定理2：（量词辖域收缩与扩张等值式） (1) ?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)) (2) ?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)) 一阶逻辑等值式 * 定理3：（量词分配等值式） ?x(A(x)∧B(x))?(?xA(x)∧?xB(x)) ?x(A(x)∨B(x))?(?xA(x)∨