一阶逻辑

前言   此文是在本人学习完离散数学中的数理逻辑部分后，对标题中各部分之间的联系存在很大的疑惑。特此进行总结，水平有限，如有错误，欢迎指正。 从逻辑代数开始   逻辑代数是一种用于描述客观事物逻辑关系的数学方法，由英国科学家乔治·布尔 (George·Boole) 于19世纪中叶提出，因而又称 布尔代数 。   所谓逻辑代数，就是把逻辑推理过程代数化，即把逻辑推理过程符号化。 从逻辑代数到命题逻辑   同样的，命题逻辑是将那些具有真假意义的陈述句接着进行符号化，产生原子命题。与此同时，当我们把逻辑代数中的运算符：与( · )、或( + )、非( - )，替换成命题逻辑中的联结词集：合取( ∧ )、析取( ∨ )、非( ¬ )、蕴涵( → ) 和等价( ↔ ) 之后，我们就进入了命题逻辑的研究领域。   需要指出的是，通常也将命题逻辑称作命题演算，后者的出现就是用来讨论前者的，这里不再区分。它与下面出现的一阶逻辑（谓词逻辑）都是数理逻辑的子集（或称之为分支），是数理逻辑的两个最基本的也是最重要的组成部分。   有人可能会问，为什么不从数理逻辑开始，其实意义不大。要谈数理逻辑，不可避免的下一个主题就是逻辑代数。为什么这样说呢？因为数理逻辑一开始的诞生是没有意义的，它的创始人正是我们熟知的莱布尼茨（没错，就是高数中的那个牛顿-莱布尼茨公式）。莱布尼茨一开始是想要建立一套普遍的符号语言