命题逻辑:只表述命题,称述句。无法从两个独立的命题中得到联系。 一阶谓词逻辑:一阶命题的真伪判断等价于一个图灵机的停机问题,是半可判定的。 描述逻辑:一阶逻辑的子集。能够对定理进行推理,完全可判定的逻辑系统。