谓词逻辑

研究谓词命题和这类命题之间推理关系的科学。又称一阶逻辑,数理逻辑的分支学科。谓词逻辑以数学命题、数学理论的形式化及谓词推理为研究对象。在程序的正确性证明、数学定理的机器证明以及智能机的语言(prolog)等方面都有 ......    （本文共 714 字 ）     [阅读本文] >>