**命题逻辑是谓词逻辑的一种特殊形式。

---例：
*永真 北京是中华人民共和国的首都
*有条件 1+1=10 是在二进制条件下成立
*命题通常用大写字母表示
*命题的缺陷是无法表达结构、逻辑关系
       
**谓词的一般形式：P( x1,x2,…,xn)
--谓词名用大写字母
--个体用小写字母,可为常量、变元、函数
--谓词中包含的个体数目称为谓词的元数
*P(x) 一元谓词
*P(x,y) 二元谓词
*P(x1,x2,…,xn) n元谓词
       
**在P(x1,x2,…,xn)中，若xi(i=1,..,n)都是个体常量、变元、函数，称他为一阶谓词。如果xi本身又是一个一阶谓词，称为二阶谓词，个体变元的取值范围称为个体域(有限,无限)，个体常量、个体变元、函数统称为“项”。
       
---例：
*老张是教师 Teacher(zhang)
*谓词名 个体
*5 > 3 Greater (5，3)
*谓词名 个体
*小王的父亲是教师Theacher(Father(wang))
*函数
       
**量词
点击看详解