04一阶逻辑基本概念[调整].pptVIP

第4章 一阶逻辑基本概念; 1.1阶逻辑的基本概念 2.1阶逻辑命题符号化 3.1阶逻辑的公式、解释、分类;本章说明;引言;引言;第一节 一阶逻辑命题符号化;基本概念;（1）个体常项：具体的事物，用a, b,c，…表示 （2）个体变项：抽象的事物，用x,y,z,…表示。 （3）个体域（或称论域）：个体变项的取值范围。 ①有限个体域，如{a, b, c}, {1, 2}。 ②无限个体域，如N,Z,R,…。 ③全总个体域，宇宙间一切事物组成 。;基本概念;（1）谓词常项：表示具体的性质或关系的谓词。 F：。。。是人，F（a）:a是人 （2）谓词变项：表示抽象的、泛指的性质或关系的谓词。 F：。。。具有性质F，F（x）: x具有性质F （3）n(n?1)元谓词： n=1时，一元谓词——表示事物的性质。 n≥2时，多元谓词——表示事物之间的。 L(x，y)：x和y具有性质L （4）0元谓词：不含个体变项???谓词。 如F(a)、G(a,b)、P(a1,a2,…,an)。 ;n元谓词是命题吗？ 0元谓词是命题吗？ 两者有什么区别？;3.量词：是表示个体常项或个体变项之间数量关系的词。 （1）全称量词：符号化为“?”， ?x ◎日常生活和数学中所用的“一切的”、“所有的”、“每一个”、“任意的”、“凡”、“都”等词可统称为全称量词。 ◎ x表示个体域里的所有个体，?xF(x)表示个体域里所有个体都有性质F。 （2）存在量词：符号化为“?” ，?y ◎日常生活和数学中所用的“存在”、“有一个”、“有的”、“至少有一个”等词统称为存在量词。 ◎ y表示个体域里有的个体，?yG(y)表示个体域里存在个体具有性质G等。 ;例4.1： 在个体域分别限制为(a)和(b)条件时，将下面两 个命题符号化: (1) 凡人都呼吸。 (2) 有的人用左手写字。 其中:(a)个体域D1为人类集合； (b)个体域D2为全总个体域。 ;?x;(b)个体域为全总个体域; 2.同一命题在不同的个体域中符号化的形式可能不同。;例4.2： 在个体域限制为(a)和(b)条件时，将下列命题符号化: (1) 对于任意的x，均有x2-3x+2=(x-1)(x-2)。 (2) 存在x，使得x+5=3。 其中: (a)个体域D1=N(N为自然数集合) (b)个体域D2=R(R为实数集合) (a)令F(x): x2-3x+2=(x-1)(x-2)，G(x): x+5=3。 命题(1)的符号化形式为 ?x F(x)? （真命题） 命题(2)的符号化形式为 ?x G(x)) （假命题） (b)在D2内，(1)和(2)的符号化形式同(a)，皆为真命题。;说明;例4.3 ：将下列命题符号化，并讨论真值。 （1）所有的人长着黑头发。 （2）有的人登上过月球。 （3）没有人登上过木星。 （4）在美国留学的学生未必都是亚洲人。;谓词逻辑中命题的符号化，主要考虑以下问题： 非空个体域的选取 量词的使用及作用范围 正确地语义;解：没有提出个体域，所以认为是全总个体域;（3）没有人登上过木星;一阶逻辑命题符号化时需要注意的事项;第二节 一阶逻辑公式及解释;一阶语言F的字母表;一阶语言F的项;一阶语言F的原子公式;一阶语言F的合式公式;自由出现与约束出现;例4.6 指出下列各公式中的指导变元，各量词的辖域，自由出 现以及约束出现的个体变项。 (1) ?x(F(x,y)→G(x,z)) (2) ?x(F(x)→G(y))→?y(H(x)∧L(x,y,z)) ;闭式;例题4.7;例题4.7;例4.8 给定解释I如下: (a) 个体域D=N(N为自然数集合，即 N={0,1,2,…}) ;例题4.8;例题4.8;例题4.8;(8) ?x?y?z F(f(x,y),z) 公式被解释成“?x?y?z(x+y=z)”，这也为真命题??? (9) ?x F(f(x,x),g(x,x)) 公式被解释成“?x(x+x=x·x)”，为真命题。;一阶公式的分类;代换实例;例4.9 判断下列公式中，哪些是永真式，哪些是矛盾式？ （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) ?x(F(x)?G(