谓词逻辑是形式逻辑的核心分支，通过将命题分解为个体词和谓词进行逻辑分析。个体词指独立存在的实体（包括现实物、精神物和精神事三类），谓词描述个体性质或关系，如"苹果可以吃"中"苹果"为现实物个体词，"可以吃"表征其可食用属性。量词（∀、∃）表征命题的数量范围，其系统包含命题逻辑子系统并扩展出由个体词、谓词构成的命题形式。
该逻辑体系分为一阶逻辑（含个体量词）和高阶逻辑（含高阶量词），涵盖经典与非经典系统。公式通过解释获得真值，形成逻辑有效式、永假式等分类，其语义规则体现合取/析取与全称/存在量词的平行性。首个完整系统由G.弗雷格于1879年建立，K.哥德尔等学者完善了元逻辑理论体系。经典一阶逻辑构成基础框架，自然推理系统与形式系统在可证明性层面具有等价性 。
想要了解更多“谓词逻辑”的信息，请点击：谓词逻辑百科
