教程离散数学lisanch第二章命题逻辑等值和推理演算.pdfVIP

第二章 命题逻辑的等值和推理演算 推理形式和推理演算是数理逻辑研究的基本内容，自然介绍了基本概念后就 需进行讨论了。命题的等值演算也可看作是推理演算。推理形式是由前提和结论 经蕴涵词联结而成的，推理过程是从前提出发，根据所规定的规则来推导出结论， 我们讨论的是前提真结论必然真的演绎推理。 重言式是重要的逻辑规律，正确的推理形式，等值式都是重言式。所以对重 言式的讨论和对推理的讨论实质上是相同的。 这章对命题等值和推理演算的讨论，是以语义的观点进行的非形式的描述， 目的是直观容易理解，也便于实际问题的逻辑描述和推理。而严格的