一阶逻辑基本概念调整.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：小李。