分类:谓词逻辑

谓词逻辑

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

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

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