第二章 命题逻辑的等值和推理演算 o 推理形式和推理演算是数理逻辑研究的基本内容 o 推理形式是由前提和结论经蕴涵词联结而成的o 推理过程是从前提出发，根据所规定的规则来推导出结论的过程 o 重言式是重要的逻辑规律，正确的推理形式、等值式都是重言式1 谢谢观赏 2019-8-23o 本章对命题等值和推理演算进行讨论，是以语义的观点进行的非形式的描述，不仅直观且容易理解，也便于实际问题的逻辑描述和推理。o 严格的形式化的讨论见第三章所建立的公理系统。 2 谢谢观赏 2019-8-23等值演算(考察逻辑关系符(=)o 等值定理、公式o 联结词的完备集( 由个别联结词表示所有联结词的问题)o 对偶式( 命题公式的对偶性)o 范式( 命题公式的统一标准) 由真值表写命题公式( 由T 写、由F写)3 谢谢观赏 2019-8-23推理演算(考察逻辑关系符)o 推理形式( 正确推理形式的表示)o 基本推理公式( 各种三段论及五种证明方法)o 推理演算( 证明推理公式的第六种方法，使用推理规则)o 归结推理法( 证明推理公式的第七种方法，常用反证法)4 谢谢观赏 2019-8-232.1 等值定理 o
