推理形式和推理演算是数理逻辑研究的基本内容，自然介绍了基本概念后就需进行讨论了。命题的等值演算也可看作是推理演算。推理形式是由前提和结论经蕴涵词联结而成的，推理过程是从前提出发，根据所规定的规则来推导出结论，我们讨论的是前提真结论必然真的演绎推理。 　　重言式是重要的逻辑规律，正确的推理形式，等值式都是重言式。所以对重言式的讨论和对推理的讨论实质上是相同的。 　　本章的前六节讨论等值演算，后四节讨论推理演算。