第4章一阶逻辑基本概念.pptVIP

* 2、讨论下列各式在I下的真值情况： (1) (2) (3) 解答与分析 1．先将各式翻译成数学公式，再讨论真值。 (1) (2) (3) 在I下， 以上各式均为命题，其中，(1)为真命题，(2)、(3)为假命题。 * 闭式在任何解释下都是命题，而非闭式没有这个性质， 非闭式在某些解释下也可能是命题 ,例如： F(g(x,y),g(y,x)在某个解释下为x+y=y+x形式， x+y=y+x为真命题 * 题型四：证明某些公式不是永真式，也不是矛盾式。 解答与分析 解此类问题，只需找成真的解释和成假的解释各一个即可。 1、证明公式?x(F(x)→ G(x))不是永真式，也不是矛盾式，记此公式为A。 * 解： 取解释I1为：个体域D为实数集合R，F(x)：x为有理数，G(x)：x能表示成分数，在I1下，公式被解释为：“对于任意的实数x，若x是有理数，则x能表示成分数”，这是真命题，这说明A不是永假式。 * 取解释I2为：个体域D为实数集合R，F(x)：x为有理数，G(x)：x为无理数，在I2下，公式被解释为：“对于任意的实数x，若x是有理数，则x是无理数”，这是假命题，这说明不是A永真式。 * 题型五 ：证明永真式(或永假式)。 方法一。只需证明，在任何解释下，公式均为真即可。 方法二。公式为命题逻辑重言式的代人实例，也为重言式 * * * 后文所说的公式不加说明都是指闭式 * 4.2 一阶逻辑公式及解释 * 4.2 一阶逻辑公式及解释 注意下面几组概念的差异 个体、个体词、个体常项、个体变项 函数、函词 命题函数、谓词 * 4.2 一阶逻辑公式及解释 项的定义： (1)个体变元和个体常元是项。 (2)对任意正整数n，如果f (n)为一n元函数符，t1 , … ,tn为项，那么f (n)(t1,…,tn)也是项。 (3)除有限次使用(1)，(2)条款所确定的符号串外，没有别的东西是个体项。 * 4.2 一阶逻辑公式及解释 原子公式的定义：若P(x1,...,xn)是n元谓词，t1,...，tn是项，则P(t1,...，tn)为原子公式。 从中可以看出，项出现在谓词的变量位置，相当于个体词。 函数f(t1,...，tn) 不是公式仅是项。项的结果仍是个体名称集合中的个体，而公式的结果(真值)是成立或不成立(是1或0)。 原子公式是公式的最小单位。项不是公式。 * 谓词公式的定义 定义：谓词公式的递归定义如下： (1)命题常项、命题变项和原子公式是合式公式； (2)如A，B是公式，则?A, A?B, A?B, A?B, A?B也是公式； (3)如A是谓词公式，x是A中出现的任意一个自由变元，则?xA，?xA也是谓词公式。 (4)只有有限次使用(1)(2)(3)生成的符号串才是合式公式(也称谓词公式) * 谓词公式的定义 例：H(a,b), C(x)?B(x), ?x(M(x)?H(x)), ?x(M(x)?C(x)?B(x)), 等均是合式公式。 * 约束变元和自由变元 定义：在谓词公式中，形如?xA或?xA的?x或?x那一部分称为是公式x的约束部分，x是指导变元，A(x)为相应量词?x或?x的作用域或辖域。 在辖域中x的出现称为x在公式A中的约束出现；约束出现的变元称为约束变元；A中不是约束出现的其它变元称为该变元的自由出现，自由出现的变元成为自由变元。 * 例 指出各公式的指导变元、辖域、约束变元和自由变元 ?x(p(x)??yQ(x,y)) ?x(x=y?x2+x5?xz)?x=5y2 * 换名规则 谓词逻辑中的命题的真值，与命题中的约束变量的记法无关 显然，?xG(x)与?yG(y)的真值一样，?xG(x)与?yG(y)的真值一样 这就引出了谓词逻辑中的换名规则。 * 换名规则 换名规则：对约束变元进行换名。 将量词辖域内出现的某个约束变元及其相应量词中的指导变元, 换成一个其他变元, 转换的新变元不能与本辖域内的其他变元同名, 公式中的其他部分不改变。 * 例： ?xF(x,y)∧?xG(x,y) ?x(F(x,y) ?P(x))∧?y(Q(x,y) ?R(x) * 说明： (1)当多个量词连续出现，它们之间无括号分隔时，约定从左到右的次序读出，后面的量词在前面量词的辖域之中。 例：?y?x(x(y-2)), x,y的个体域为实数集。 * 说明： (2)如果D是有限集,谓词公式中的量词可以用逻辑联结词来解释。 例D={a,b,c} ?xP(x)?P(a)∧P(b)∧P(c) ?xP(x)?P(a)?P(b)?P(c) * 说明： (3)量词不能随便换顺序。对于?和?这两个量词交换位置,其意义不同了,相应真值也可能改变。 例： D：自然数全体, G(x,y)