04一阶逻辑基本概念(调整).pptVIP

第4章 一阶逻辑基本概念 本章说明 引言 问题：命题逻辑的局限性 在命题逻辑中，研究的基本单位是简单命题， 对简单命题不再进行分解，并且不考虑命题 之间的内在联系和数量关系。 例如：所有的人都是要死的，苏格拉底是人，所以 苏格拉底是要死的。 这是著名的苏格拉底三段论，但却无法用命题逻辑予以证明。 引言 第一节 一阶逻辑命题符号化 一阶逻辑命题符号化的三个基本要素 基本概念 基本概念 （1）个体常项：具体的事物，用a, b,c，…表示 （2）个体变项：抽象的事物，用x,y,z,…表示。 （3）个体域（或称论域）：个体变项的取值范围。 ①有限个体域，如{a, b, c}, {1, 2}。 ②无限个体域，如N,Z,R,…。 ③全总个体域，宇宙间一切事物组成 。 基本概念 2.谓词：表示个体词性质或相互之间关系的词 例如：(1) ?是无理数 ?是个体常项，“?是无理数”是谓词，记为F，命题符号化 为F(?) 。 (2) x是有理数 x是个体变项，“?是有理数”是谓词，记为G，命题符号化 为G(x)。 (3) 小王与小李同岁 小王、小李都是个体常项，“?与?同岁”是谓词，记为H， 命题符号化为H(a,b) ，其中a：小王，b：小李。 (4) x与y具有关系L x，y都是个体变项，谓词为L，命题符号化为L(x,y)。 基本概念 （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元谓词是命题吗？ 两者有什么区别？ 基本概念 一阶逻辑命题符号化 一阶逻辑命题符号化 例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）在美国留学的学生未必都是亚洲人。 特别提醒 一阶逻辑命题符号化时需要注意的事项 1.分析命题中表示性质和关系的谓词， 分别符号为一元和n（ n?2）元谓词。 2.根据命题的实际意义选用全称量词或存在量词。 3.一般说来，多个量词出现时，它们的顺序不能随意调换。 例如：考虑个体域为实数集，H(x，y)表示x+y=10， 则命题“对于任意的x，都存在y，使得x+y=10”的符号化 形式为?x?yH(x,y) 真命题。 如果改变两个量词的顺序，得?y?xH(x,y) 假命题。 第二节 一阶逻辑公式及解释 一阶语言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)括号与逗号:(,),， 一阶语言F的项 一阶语言F的原子公式 一阶语言F的合式公式 自由出现与约束出现 例题 例4.6 指出下列各公式中的指导变元，各量词的辖域，自