查看“︁分类:谓词逻辑”︁的源代码

'''谓词逻辑'''('''predicate logic''')，也称为一阶逻辑('''first-order logic''', '''FOL''')。
在[[:分类:命题逻辑|命题逻辑]]研究[[命题]]之间的逻辑关系演算的基础上，将命题的结构拆分为[[个体词（谓词逻辑）|个体词]]、[[谓词]]、[[量词]]，并引入[[函项]]等表达个体之间的关系。
在谓词逻辑中，个体词和函项构成项，然后与谓词一同构成[[原子命题]]，再进一步地和[[逻辑联结词]]与量化表达式构成公式，并且可以通过[[形式化公理系统（逻辑）|形式化公理系统]]的[[公理（逻辑）|公理]]和推理规则进行推理，即[[演绎]]及[[证明]]。

除了基于证明的证明论方法外，一阶逻辑也产生了模型论。
与直接将一切公式都通过解释或赋值对应到某个事实命题相对，通过将公式中个体变项与其他拆分，当作一个解释然后赋值的两步操作来抽象，
将个体常项、谓词、函项同一替换为其他这一操作被单独称为解释，对应地就称为模型。

介于命题逻辑与谓词逻辑之间，还有一种不拆分出量词、仅研究谓词和项的层次，称为'''关系逻辑'''('''relational logic''')（这个词也被作为谓词逻辑的别称）。


[[分类:数理逻辑]]
[[分类:逻辑学]]