离散数学命题逻辑前的推理理论.pptVIP

1.6 命题逻辑的推理理论 推理的形式结构 判断推理是否正确的方法 推理定律与推理规则 构造证明法 推理的形式结构—问题的引入 推理: 从前提出发推出结论的思维过程 前提是指已知的命题公式，结论是推出的命题公式 例 如果天气凉快，小王就不去游泳.天气凉快.所以小王 没有去游泳. p:天气凉快，q:小王去游泳 前提： (p? ? q)ùp 结论： ? q 问题：如何判断推理的是否正确？ 推理的形式结构 定义 “A1, A2, …, Ak 推B” 的推理正确 当且仅当 A1ùA2ù…ùAk?B为重言式. 若对于每组赋值，A1ùA2ù…ù Ak 为假，或 当A1ùA2ù…ùAk为真时, B也为真, 则称由A1,A2,…, Ak 推B的推理正确 , 否则推理不正确（错误）. 推理的形式结构: A1ùA2ù…ùAk?B 或 前提： A1, A2, … , Ak 结论： B 若推理正确，则记作：A1ùA2ù…ùAkTB. 判断推理是否正确的方法 真值表法 等值演算法 主析取范式法 构造证明法 说明：当命题变项比较少时，用前3个方法比较方 便, 此时采用形式结构“ A1ùA2ù…ùAk?B