1 命题逻辑

无法刻画个体之间的关系

因此有了谓词逻辑

2 谓词逻辑

二阶谓词不讨论

3 一阶谓词逻辑知识表示方法

一阶谓词逻辑特点

不能表示不确定的知识,会产生组合爆炸