一阶逻辑基本概念要素.ppt

第4章 一阶逻辑基本概念 本章说明 引言 命题逻辑的局限性在命题逻辑中，研究的基本单位是简单命题，对简单命题不再进行分解，并且不考虑命题之间的内在联系和数量关系。 例如：所有的人都是要死的，苏格拉底是人，所以苏格拉底是要死的。 这个简单而有名的苏格拉底三段论，却无法用命题逻辑予以证明。 一阶逻辑所研究的内容为了克服命题逻辑的局限性，将简单命题再细分，分析出个体词、谓词和量词，以期达到表达出个体与总体的内在联系和数量关系。 本章内容 4.1 一阶逻辑命题符号化 4.2 一阶逻辑公式及解释 本章小结 习题 作业 4.1一阶逻辑命题符号化 一阶逻辑命题符号化的三个基本要素 个体词 谓词 量词  个体词及相关概念 个体词及相关概念 个体常项：表示具体或特定的客体的个体词，用小写字母a, b,c，…表示。 个体变项：表示抽象或泛指的客体的个体词，用x,y,z,…表示。 个体域（或称论域）：指个体变项的取值范围。 可以是有穷集合，如{a, b, c}, {1, 2}。 可以是无穷集合，如N,Z,R,…。 全总个体域（universe）——宇宙间一切事物组成 。 谓词及相关概念 谓词（predicate）是用来刻画个体词性质及个体词之间相互关系的词。 (1) ?是无理数。?是个体常项，“?是无理数”是谓词，记为F，命题符号化为F(?) 。 (2) x是有理数。