02离散称数学课件资料.pptVIP

著名的苏格拉底三段论: “所有的人都是要死的,苏格拉底是人,所以是苏格拉底是要死的。” p: 所有的人是要死的; q: 苏格拉底是人; r: 苏格拉底是要死的. 例6：给定解释I如下： DI={2，3}；DI中特定的元素a=2; 函数f(x)为f(2)=3，f(3)=2； 谓词F(x)为F(2)=0，F(3)=1; G(x,y)为G(i，j)=1 ，i, j=2,3; L(x,y)为L(2,2)= L(3,3)=1; L(2,3)= L(3,2)=0. 确定下列谓词公式的真值。 （1）?x(F(x) ∧G (x,a)) ? (F(2) ∧G (2,2)) ∧ (F(3) ∧G (3,2)) ? (0 ∧1) ∧ (1 ∧1) ? 0 (1) (?x)(P(x)?(?y)R (x,y)) ； (2) (?x)(?y)(P(x,y)?Q(y,z))?(?x)P(x,y) ； (3) (?x)(P(x)?(?x)Q(x,z)?(?y)R(x,y))?Q(x,y) ； 换名规则与代替规则可避免有的个体变项既可以约束出现，又可以自由出现。 例4.试对下列公式换名或代替。 第一步换名:(?x)(?y)(P(x,y)?Q(y,z))?(?u)R(u,y) ； 第二步代替:(?x)(?y)(P(x,y)?Q(y,z))?(?u)R(u, v) ； 第一步换名:(?x)(P(x)?(?u)Q(u,z)?(?y)R(x,y))?Q(x,y) 第二步代替:(?x)(P(x)?(?u)Q(u,z)?(?y)R(x,y))?Q(s, t) (2) (?x)(?y)(P(x,y)?Q(y,z))?(?x)R(x,y) ； (3) (?x)(P(x)?(?x)Q(x,z)?(?y)R(x,y))?Q(x,y) ； 解： (1) (?x)(P(x)?(?y)R (x,y)) ；不用改写 例5.求下列谓词公式的真值： (?x)(P(x)?Q(x))，其中P(x)：x = 1，Q(x)：x = 2，且个体域 E = {1，2}； 当个体域是有限集时，如D ={a1,a2,……an} (?x)A(x)?A(a1)?A(a2)?……?A(an) 则：(?x)A(x)?A(a1)?A(a2)?……?A(an) 从而谓词公式的真值等价于命题公式的真值。 解题思想 解： (?x)(P(x)?Q(x))?(P(1)?Q(1)?(P(2)?Q(2)) ?(1?0)?(0?1) ? 0 谓词合式公式的解释 (或指派) 一个一阶逻辑合式公式中往往含有个体变项、谓词变项等，一组使合式公式成为具有确定真值的常项（个体常项、谓词常项等）就构成了一个公式的解释。 三、谓词公式的解释 （2）?x(F(f(x)) ∧G (x, f(x))) ? (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 （3）?x?y L(x,y) ? ?x(L(x,2)∨L(x,3)) ? (L(2,2)∨L(2,3)) ∧(L(3,2)∨L(3,3)) ? (1∨0) ∧(0∨1) ? 1 永真式(逻辑有效式）：任一组解释皆使公式真值为1 永假式： (?) 可满足式： (?) 没有一个可行的算法来判断一阶逻辑公式的类型，只能对某些特殊的公式进行判断。 ? x(F (x) ? F (x))； 四、谓词公式的类型 * 在命题逻辑中，命题是命题演算的基本单位，不关心每个简单命题反映的具体内容，没有进一步研究命题的内部结构，因而在实际应用中存在很多缺陷。 由上述文字构造的命题逻辑推理结构为: (p ? q)? r 可知: (p ? q)? r不是一个重言式,因此,按命题逻辑的方法,无法证明上述问题. 为了在命题演算中，反映命题的内在联系，常常要将简单命题分解成个体词、谓词、量词等，并对它们的形式结构及逻辑关系加以研究，总结出正确的推理形式和规则，这就是本章一阶逻辑要研究的内容。 离散数学 第二章 一阶逻辑 §2.1 一阶逻辑基本概念 §2.2 一阶逻辑合式公式及解释 §2.3 一阶逻辑等值式及前束范式 个体词：可以独立存在的客体，既可以是抽象的概念，也可以是具体的事物。 谓 词：用来刻划个体词的性质或个体词之间关系的。 如：李明、自然数、 如：(1) 是无理