fangdongxing的专栏

原创 逻辑层次

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