8一阶逻辑-概念公式4-14-1.pptVIP

命题逻辑的局限性 例： 第四章 一阶逻辑基本概念 § 4.1 一阶逻辑的符号化 一、命题的分解 命题(陈述句）＝ 主语 和 谓语 ＝ 个体 和 谓词 分解为： 对象 及 对象的性质、特征及关系 来讨论命题逻辑所不能反映的命题的内在联系及其微观结构 二、谓词 1.个体 个体词是指所研究对象中可以独立存在的具体的或抽象的客体 1）一般用小写字母表示：x,y,z,s,t …. 2）个体常元和个体变元 具体的个体或 a,b,c…。 个体变元x,y,z..变元 3）个体域（个体的取值范围） 全总个体域 2．谓词：谓词是用来刻划个体词性质及个体词之间相互关系的词 1) 谓词一般用大写字母表示：F、H、L、G 2)谓词所关联个体的个数 谓词所关联的个体个数是一个－称该谓词为一元谓词－F(x)、G(x) F(x)：x是人 G(x)：x是整数 D(x):x是要死的 谓词所关联的个体个数是两个－称该谓词为二元谓词－L(x,y) L(x,y)：x y H(x,y):x比y跑的快