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

第四章 一阶逻辑基本概念 本章的主要内容 一阶逻辑基本概念、命题符号化 一阶逻辑公式、解释及分类 4.1 一阶逻辑命题符号化 一、基本概念——个体词、谓词、量词 2.谓词—表示个体词性质或相互之间关系的词 例 用0元谓词将命题符号化： （1）墨西哥位于南美洲 （2） 是无理数仅当 是有理数 （3）如果23，则34 要求：先将它们在命题逻辑中符号化，再在一阶逻辑中符号化 解：在命题逻辑中： (1)p, p为墨西哥位于南美洲（真命题） (2)p→q, 其中，p： 是无理数，q： 是有理数. (假命题) (3)p?q, 其中，p：23，q：34. (真命题) 例 在一阶逻辑中将下面命题符号化 （1）人都爱美。 （2）有人用左手写字。 个体域分别为： (a) D=“人类集合”={x | x是人} (b) D为全总个体域 例 在一阶逻辑中将下面命题符号化 （1）正数都大于负数 （2）有的无理数大于有的有理数 注意否定式的使用： ① 没有不呼吸的人 ② 不是所有的人都喜欢吃糖 ③ 不是所有的火车都比所有的汽车快 以上命题应如何符号化？ 4.2 一阶逻辑公式及解释 一阶语言——用于一阶逻辑公式的形式语言 一、一阶语言F与合式公式 1．F的字母表，定义4.1 一阶语言F的字母表定义如下： （1）个体常项：a, b, c, …, ai, bi, ci, …, i ?1 （2）个体变项：x, y, z, …, xi, yi, zi, …, i ?1 （3）函数符号：f, g, h, …, fi, gi, hi, …, i ?1 （4）谓词符号：F, G, H, …, Fi, Gi, Hi, …, i ?1 （5）量词符号：?, ? （6）联结词符号：?, ?, ?, ?, ? （7）括号与逗号：(, ), ， 2．F的项 定义4.2 F的项的定义如下： （1）个体常项和个体变项是项. （2）若?(x1, x2, …, xn)是任意的n元函数，t1, t2, …, tn是任意的n个项，则?(t1, t2, …, tn) 是项. （3）所有的项都是有限次使用（1），（2）得到的. 其实，个体常项、变项是项，由它们构成的n元函数和复合函数还是项. 3．F的原子公式 定义4.3 设R(x1, x2, …, xn)是F的任意n元谓词，t1, t2, …, tn是F的任意的n个项，则称R(t1, t2, …, tn)是F的原子公式. 其实，原子公式是由项组成的n元谓词. 4．F的合式公式 定义4.4 . F的合式公式定义如下： （1）原子公式是合式公式. （2）若A是合式公式，则 (?A)也是合式公式 （3）若A, B是合式公式，则(A?B), (A?B), (A?B), (A?B)也是合式公式. （4）若A是合式公式，则?xA, ?xA也是合式公式. （5）只有有限次地应用（1）—（4）形成的符号串才是合式公式. 二、封闭的公式（简称闭式） 1．量词的辖域、个体变项的约束与自由出现 定义4.5 在公式 ?xA和 ?xA中，称x为指导变元，A为相应量词的辖域. 在?x和 ?x的辖域中，x的所有出现都称为约束出现，A中不是约束出现的其他变项均称为是自由出现的. 2．闭式 定义4.6 若公式A中不含自由出现的个体变项，则称A为闭式. 三、解释与公式的分类 1．给定公式对它们进行解释： （1）给出公式?x(F(x)?G(x))一个成真解释，一个成假解释； （2）给出公式?x(F(x)?G(x))一个成真解释，一个成假解释； （3）?xF(x)??x?F(x) 有成真解释吗？ （4）?xF(x)??x?F(x) 有成假解释吗？ 2．F中的解释 定义4.7 F的解释I由下面4部分组成： (a) 非空个体域DI (b) DI中一些特定元素的集合 (c) DI上特定函数集合 (d) DI上特定谓词的集合 说明： 3．闭式的性质. 定理4.1 闭式在任何解释下都是命题. 定义4.9 设A0是含命题变项p1, p2, …,pn的命题公式，A1, A2, …,An是n个谓词公式，用Ai (1?i?n) 处处代替A0中的pi，所得公式A称为A0的代换实例. 例 判断下列公式中，哪些是永真式，哪些是矛盾式？ （1）?x(F(x)?G(x)) （2）?x(F(x)?G(x)) （3）?xF(x)?(?x?yG(x,y)??xF(x)) （4）?(?xF(x)??yG(y))??yG(y) 第四章 小结 一、本章的主要内容与要求 1．主要内容 个体词、谓词、量词； 一阶逻辑命题符号化； F的合式公式、闭式； F的解释； 公式的类型：永真式、矛盾式、可满足式 2．要