二、基本的推理公式

　　1. (x)P(x)∨(x)Q(x)(x)(P(x)∨Q(x))
　　2. (x)(P(x)∧Q(x))(x)P(x)∧(x)Q(x)
　　3. (x)(P(x)→Q(x))(x)P(x)→(x)Q(x)
　　4. (x)(P(x)→Q(x))(x)P(x)→(x)Q(x)
　　5. (x)(P(x)Q(x))(x)P(x)(x)Q(x)
　　6. (x)(P(x)Q(x))(x)P(x)(x)Q(x)
　　7. (x)(P(x)→Q(x))∧(x)(Q(x)→R(x))(x)(P(x)→R(x))
　　8. (x)(P(x)→Q(x))∧P(a)Q(a)
　　9. (x)(y)P(x, y)(x)(y)P(x, y)
　　10. (x)(y)P(x, y)(y)(x)P(x, y)
　　这些推理公式或称推理定理的逆一般是不成立的，所以正确地理解这些定理的前提与结论的不同是重要的。

三、基本推理公式的说明

　　对这些基本推理公式的直观说明以及解释性的证明仅就其中的2和3来讨论。