离散数学 第四章 一阶逻辑基本概念.pptVIP

第四章 一阶逻辑基本概念 例4.6 指出下列各公式中的指导变元，各量词的辖域，自由出现以及约束出现的个体变项: ?(1)?x(F(x,y)→G(x,z))???????????????????解：(1)x是指导变元。量词?的辖域 A=(F(x,y)→G(x,z))，在A中，x是约束出现的。而且约束出现两次，y和z均为自由出现的，而且各自由出现一次。 (2)?x(F(x)→G(y))→?y(H(x)∧L(x,y,z))?? 上公式中含有两个量词，前件上的量词 ?的指导变元为x，?的辖域A=(F(x)→G(y))， 其中x是约束出现的，y是自由出现的。后件 中的量词?的指导变元为y，?的辖域为(H(x) ∧L(x,y,z))，其中y是约束出现的，x，z均为 自由出现的。在整个公式中，x约束出现一次，自由出现2次，y自由出现一次，约束出现一次，z只自由出现一次。 为方便起见，用A(x1,x2,…,xn)表示含x1,x2,…,xn自由出现的公式，并用Δ表示任意的量词(?或?).则Δx1A(x1,x2,…,xn)是含有x2,x3,…,xn自由出现的公式，可记A1(x2,x3,…,xn)。 类似地，Δx2Δx1A(x1,x2,…,xn)可记为A2(x3,x4,…,xn)，而： Δxn-1Δxn-2…Δx1A(x1,x2,…,xn)中只含有xn是自由出现的个体变项，可以记为An(xn)；而Δxn…Δx1A(x1,x2,…,xn)已经没有自由出现的个体变项了。 可将公式 ?x(F(x,y)→G(x,z))?简记为A(y,z)，这表明(1)中公式含有自由出现的个体变项y，z。 而?yA(y,z)中只含有z为自由出现的个体变项，?z?yA(y,z)中已经没有自由出现的个体变项了，此时的公式为 ?z?y?x(F(x,y)→G(x,z))??????? (4.24) 三、闭公式 定义4.6 设A是任意的公式，若A中不含有自由出现的个体变项，则称A为封闭的公式， 简称闭式。 ???易知 ?z?y?x(F(x,y)→G(x,z)) (4.24) 是闭式， ?x(F(x,y)→G(x,z))? (4.22) 不是闭式， ?x(F(x)→G(y))→?y(H(x)∧L(x,y,z))? ?(4.23)不是闭式。 要想使含有r(r≥1)个自由出现个体变项的公式变成闭式，至少要加上r个量词。 例如，将? x(F(x,y)→G(x,z))??加上两个量词就变成了闭式?z?y?x(F(x,y)→G(x,y,z))。 例4.7 将下列两个公式中的变项指定成常项使其成为命题: (1)?x(F(x)→G(x))?????? (4.25) 解 指定个体变项的变化范围，并且指定谓词F，G的含义，下面给出两种指定法: ?(a)令个体域D1为全总个体域，F(x)为x是人，G(x)为x是黄种人，则(4.25)表达的命题为“所有人都是黄种人”，这是假命题。 (b)令个体域D2为实数集合R，F(x)为x是自然数，G(x)为x是整数，则(4.25)表达的命题为“自然数都是整数”，这是真命题。  (2)?x?y(F(x)∧F(y)∧G(x,y)→ H(f(x,y),g(x,y)))? 中含有两个2元函数变项，两个1元谓词变项，两个2元谓词变项。指定个体域为全总个体域，F(x)为x是实数，G(x,y)为x≠y，H(x,y)为xy，f(x,y)=x2+y2，g(x,y)=2xy，则(2)表达的命题为“对于任意的x，y，若x与y都是实数，且x≠y，则x2+y22xy”，这是真命题。如果H(x,y)改为xy，则所得命题就为假命题了。 在例4.7中所谈的对各种变项的指定也可以称为对它们的解释。 由以上的讨论不难看出，一个解释不外 乎指定个体域、个体域中一些特定的元素、 特定的函数和谓词等部分。 四、一阶公式的解释 定义4.7 的解释I由下面4部分组成:??(a)非空个体域DI??(b)DI中一些特定元素的集合 ??(c)DI上特定函数集合{ |i,n≥1} ??(d)DI上特定谓词的集合{ |i,n≥1} * 在命题逻辑中，命题是最基本的单位，对简单命题不再进行分解，并且不考虑命题之间的内在联系和数量关系。因而命题逻辑具有局限性，甚至无法判断一些简单而常见的推理。考虑下面的推理: ?? 凡偶数都能被2整除； ??? ?6是偶数。 ??? ?所以，6能被2整除。  这个推理是我们公认的数学推理中的真命题，但是在命题逻辑中却无法判断它的正确性。因为在