第2章 一阶（谓词）逻辑
谓词逻辑
命题逻辑不足：  命题逻辑不研究命题内部结构、成份及命题之间内在联络，以至于无法处理一些简单而又常见推理过程。比如，以下推理：      全部人都是要死。    苏格拉底是人。    苏格拉底是要死。  众所周知,这是真命题。但在命题逻辑中,如果用P,Q,R表示以上三个命题，则上述推理过程为：（P∧Q）R。借助命题演算推理理论不能证实其为重言式。  一阶逻辑深入研究一个命题内部结构，把一个简单命题分解为个体和谓词两部分，并重视其中表示数量信息结构，进而建立起谓词逻辑理论。
第2章谓词逻辑
定义 能够独立存在详细事物或抽象概念称为个体。   例如，电子计算机、李明、玫瑰花、黑板、实数、中国、思想、唯物主义等，客体也可称之为主语。  类似方法，引入表示个体标识符。定义 一个个体标识符，假如表示详细或确定个体为个体常项，而表示抽象或泛指（或者说取值不确定）个体称为个体变项。  个体常项普通用小写英文字母a,b,c…或带下标ai,bi,ci…表示，个体变项普通用小写英文字母x,y,z…或带下标xi,yi,zi…表示。
2.1 一阶逻辑基本概念