谓词逻辑

---

形式逻辑的最根本部分。也是最基本的逻辑系统或理论。谓词逻辑把命题逻辑作为子系统。除研究复合命题的命题形式、命题联结词的逻辑性质和规律外，还把命题分析成个体词、谓词和量词等非命题成分，并集中研究由这些非命题成分组成的命题形式的逻辑性质和规律。只包含个体谓词和个体量词的谓词逻辑称为一阶谓词逻辑，简称一阶逻辑，又称狭义谓词逻辑。将量词也用于命题变元和谓词变项的，或包含高阶量词和高阶谓词的叫高阶逻辑，又称广义谓词逻辑。谓词逻辑可分为经典的谓词逻辑和非经典的谓词逻辑。形式化的谓词逻辑称为谓词演算，一般有公理系统和自然演绎系统两种。