命题逻辑、一阶逻辑和二阶逻辑

（摘自维基百科）

    命题逻辑处理简单的陈述性命题，一阶逻辑补充覆盖了谓词和量化。例如下列句子：“苏格拉底是男人”，“柏拉图是男人”。在命题逻辑中，它们是两个无关的命题，比如指示为 p 和 q。但是在一阶逻辑中，这两个句子将由同一个性质联系起来：Man(x)，这里的 Man(x) 意味着 x 是个男人。在 x = 苏格拉底时我们得到了第一个命题 p，而在 x = 柏拉图时我们得到了第二个命题 q。这种构造在介入了量词的时候允许更加强力的逻辑，比如“对于所有 x...”。例如，“对于所有 x，如果 Man(x) 则...”。没有量词的话，所有在 FOL 中的有效论证在命题逻辑中也有效的，反之亦然。

    在逻辑和数学中，二阶逻辑是一阶逻辑的扩展，一阶逻辑是命题逻辑的扩展。二阶逻辑接着被高阶逻辑和类型论所扩展。

    一阶逻辑和二阶逻辑都使用了论域(有时叫做“域”或“全集”)的想法。论域是可以在其上量化的个体元素的集合。一阶逻辑只包括取值为论域的个体元素的变量和量词。例如在一阶句子 ∀x (x ≠ x + 1) 中变量 x 被用来表示一个任意的个体。二阶逻辑扩展了一阶逻辑，通过增加取值在个体的集合上变量和量词。例如，二阶句子 ∀S ∀x (x ∈ S ∨ x ∉ S) 声称对于所有个体的集合 S 和所有的个体 x，要么 x 在 S 中要么不在(这是二值原理)。

转载于:https://www.cnblogs.com/limitplus/archive/2010/04/04/1704409.html