谓词逻辑

将命题分解为主词、谓词和量词，研究其形式结构，导出有关的逻辑形式和规律的逻辑理论。因其基本推理规则是关于量词的引入和消去的规则，故亦称“量词逻辑”。谓词逻辑的公理化就是谓词演算。弗雷格于19世纪末20世纪初建立了第一个初步自足的公理化的谓词逻辑系统。