1.6. 离散数学.pptVIP

推理的形式结构 判断推理是否正确的方法 实例 实例 (续) 推理定律——重言蕴涵式 推理定律 (续) 推理规则 推理规则(续) 构造证明——直接证明法 构造证明法 (续) 构造证明——附加前提证明法 * * 1.6 命题逻辑的推理理论 推理的形式结构 判断推理是否正确的方法 推理定律与推理规则 构造证明法 1.6.1 推理的基本概念 推理——从前提推出结论的思维过程。 前提——已知的命题公式。 结论——从前提出发运用推理规则推出的命题公式。 证明: 描述推理正确的过程. 定义 若对于每组赋值，或者A1ùA2ù…ù Ak 均为假， 或者当A1ùA2ù…ùAk为真时, B也为真, 则称由A1, A2, …, Ak推B的推理正确, 否则推理不正确（错误）. “A1, A2, …, Ak 推B” 的推理正确 当且仅当 A1ùA2ù…ùAk?B为重言式. 推理的形式结构: A1ùA2ù…ùAk?B 或 前提： A1, A2, … , Ak 结论： B 若推理正确，则记作：A1ùA2ù…ùAkTB. 真值表法 等值演算法 判断推理是否正确 主析取范式法 构造证明法 证明推理正确 说明：当命题变项比较少时，用前3个方法比较方 便, 此时采用形式结构“ A1ùA2ù…ùAk?B” . 而在构造证明时，采用“