04一阶逻辑基本概念.pptVIP

第4章 一阶逻辑基本概念 本章说明 引言 苏格拉底三段论 P：所有的人都是要死的； Q：苏格拉底是人。 R：苏格拉底是要死的。 本章内容 4.1一阶逻辑命题符号化 一阶逻辑命题符号化的三个基本要素 个体词 谓词 量词  个体词及相关概念 个体词及相关概念 个体常项：表示具体或特定的客体的个体词，用小写字母a, b,c，…表示。 个体变项：表示抽象或泛指的客体的个体词，用x,y,z,…表示。 个体域（或称论域）：指个体变项的取值范围。 可以是有穷集合，如{a, b, c}, {1, 2}。 可以是无穷集合，如N,Z,R,…。 全总个体域（universe）——宇宙间一切事物组成 。 谓词及相关概念 谓词（predicate）是用来刻画个体词性质及个体词之间相互关系的词。 (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)、 (2) 、(3) 中