－数理逻辑的基本定义 　　下面所列的是一些数理逻辑中重要的定义，在后面的分析中要用到： 　　・合取式：p与q，记做p ∧ q 　　・析取式：p或q，记做p ∨ q 　　・蕴含式：如果p则q，记做p → q 　　・等价式：p当且仅当q，记做p q 　　・若A无成假赋值，则称A为重言式或永真式； 　　・若A无成真赋值，则称A为矛盾式或永假式； 　　・若A至少有一个成真赋值，则称A为可满足的； 　　・析取范式：仅由有限个简单合取式组成的析取式 　　・合取范式：仅由有限个简单析取式组成的合取式 　－数理逻辑的基本等值式 　　下面这些基本的等式在归结原理实施之前的公式转化过程中是非常重要的。只有将逻辑公式正确转换成为归结原理要求的范式，才能够保证归结的正常进行。 　　・交换律：p∨q q ∨p ； 　　　　　　　p ∧ q q ∧ p 　　・结合律： (p∨q) ∨ rp∨(q ∨r); 　　　　　　　 (p ∧ q) ∧ rp ∧(q ∧ r) 　　・分配律： p∨(q ∧ r) (p∨q)∧(p ∨r) ； 　　　　　　　 p ∧(q ∨ r) (p ∧ q) ∨(p ∧ r) 　　・双重否定律：p ～～p 　　・等幂律：p p∨p；p p∧p 　　・摩根律: ～ (p∨q) ～ p ∧ ～ q ； 　　　　　　　～ (p ∧q) ～ p ∨ ～ q 　　・吸收律: p∨(p∧q ) p ； 　　　　　　　p ∧(p∨q ) p 　　・同一律: p∨0 p ； 　　　　　　　p∧1 p 　　・零律：p∨1 1 　　　　　　p∧0 0 　　・排中律：p∨～p 1 　　・矛盾律：p∧～p 0 　　・蕴含等值式：p → q ～ p∨q 　　・等价等值式：pq (p → q)∧(q → p) 　　・假言易位式: p → q ～ p → ～ q 　　・等价否定等值式：pq ～p～q 　　・归谬论：(p → q)∧(p → ～q) ～p