第二章命题逻辑的等值和推理演算 ●内容:推理形式和推理演算是数理逻辑研 究的基本内容。 ●推理演算要用正确的推理:推理形式由前 提和结论经蕴涵词联接而成。我们关注正 确的推理形式。正确的推理形式可由逻辑 关系符表达。 ●非形式描述:本章对命题等值和推理演算 进行的讨论,是以语义的观点进行的排形 式的描述。第二章命题逻辑的等值和推理演算 ⚫内容：推理形式和推理演算是数理逻辑研 究的基本内容。 ⚫推理演算要用正确的推理：推理形式由前 提和结论经蕴涵词联接而成。我们关注正 确的推理形式 。正确的推理形式可由逻辑 关系符表达。 ⚫非形式描述：本章对命题等值和推理演算 进行的讨论，是以语义的观点进行的非形 式的描述