命题逻辑不足  例：第四章 一阶逻辑基本概念 § 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跑快    谓词所关联个体个数是三个－称该谓词 ...