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