命题逻辑（Propositional Logic） 形如 ¬P，P∧Q，P∨Q，P → Q ，P↔Q的语句，值为True或者False推理规则较简单，
往往通过（1.真值表 2.为数不多的推理规则，例如Modus ponesn等几个）
缺点，不能或者很难表示复杂的语句，不能记录推理过程中的变化

一阶逻辑（First Order Logic），简称FOL包含的东西有
常量（Constant symbol），谓词符号（Predicate symbol），函数符号（Function symbol），变量（Variable），连词（ ∧∨→↔），量词（Quantifiers, ∃∀），例如：Father(Mary) = Bob father_of(Mary, Bob)

一阶逻辑退化成命题逻辑

注意：
常量不可以代换，变量才可以代换
就算是用常量代替常量也不可以

比如：

量词的推理规则

从含有量词的语句推导出不含有量词的语句

退化到命题推理

假言推理

前项链接

前项链接算法是效率低下的