下面我们学习本章最终一个知识点：
1、命题符号化 2、合式公式3、永真公式4、范式5、推理理论
5、推理理论
2.5 推理理论
一、推理含义
  在一阶逻辑中，从前提 A1, A2, …, An 出发推结论 B 推理形式结构，依然采取以下蕴含式形式：
若上式为永真式，则称推理正确；不然称推理不正确。
二、推理定律
  在一阶逻辑中，称永真蕴含式为推理定律。若一个推理形式结构恰好是某条推理定律，则这个推理显然是正确。  有哪些推理定律呢？