第二章 命题逻辑的等值和推理演算 推理形式和推理演算是数理逻辑研究的基 本内容 推理过程是从前提出发，根据所规定的规 则来推导出结论的过程 重言式是重要的逻辑规律，正确的推理形 式，等值式都是重言式。第二章 命题逻辑的等值和推理演算 n 推理形式和推理演算是数理逻辑研究的基 本内容 n 推理过程是从前提出发，根据所规定的规 则来推导出结论的过程 n 重言式是重要的逻辑规律，正确的推理形 式，等值式都是重言式