离散数学ch03.pdfVIP

第三章 命题逻辑的推理理论 主要内容 推理的形式结构  推理的正确与错误  推理的形式结构  判断推理正确的方法  推理定律 自然推理系统P  形式系统的定义与分类  自然推理系统P  在P 中构造证明:直接证明法、附加前提证明法、归谬法 1 3.1 推理的形式结构 定义3.1 设A , A , …, A , B为命题公式. 若对于每组赋值， 1 2 k A A …A 为假，或当A A …A 为真时，B也为真， 1 2 k 1 2 k 则称由前提A , A , …, A 推出结论B 的推理是有效的或正确 1 2 k 的, 并称B是有效结论. 定理3.1 由命题公式A , A , …, A 推B 的推理正确当且仅当 1 2 k A A …A B为重言式 1 2 k 注意: 推理正确不能保证结论一定正确 2 推理的形式结构 推理的形式结构 1. {A , A , …, A } B 1 2 k 若推理正确, 记为{A ,A ,,A } B 1 2 n 2. A A …A B 1 2 k 若推理正确, 记为A 1 A2  … Ak  B 3. 前提：A , A , … , A 1 2 k 结论：B 判断推理是否正确的方法: 真值表法 等值演算法 主析取范式法 3 推理实例 例1 判断下面推理是否正确 (1) 若今天是1号，则明天是5号. 今天是1号. 所以, 明天是5号. (2) 若今天是1号，则明天是5号. 明天是5号. 所以, 今天是1号. 解 设p ：今天是1号，q ：明天是5号. (1) 推理的形式结构: (p q)p q 用等值演算法 (p q)p q  ((p q)p )q  p qq  1 由定理3.1可知推理正确 4 推理实例 (2) 推理的形式结构: (p q)qp 用主析取范式法 (p q)qp  (p q)qp   ((p q)q)p  qp  (p q)(p q) (p q)(p q)  m m m 0 2 3 结果不含m , 故01是成假赋值，所以推理不正确 1