命题逻辑的等值和推理演算

- 第二章命题逻辑的等值和推理演算 - 内容：推理形式和推理演算是数理逻辑研究的基本内容。推理演算要用正确的推理：推理形式由前提和结论经蕴涵词联接而成。我们关注正确的推理形式