谓词逻辑

谓词逻辑，谓词逻辑,weici luoji，谓词逻辑,weici,luoji，[拼音]：weici luoji[外文]：predicate logic形式逻辑的最根本部分，也是最基本的逻辑系统或理论。在谓词逻辑中，除研究复合命题的命题形式、命题联结词的逻辑性质和规律外，还把命题分析成个体词、谓词和量词等非命题成分，研究由这些非命题成分组成...