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