离散数学第二章3解析.pptVIP

* 2.4 推理 2.4.1 推理的形式结构 推理的前提与结论,正确推理 2.4.2 推理的证明 推理规则 直接证明法, 附加前提证明法, 归谬法(反证法) 2.4.3 归结证明法 2.4.4 对证明方法的补充说明 * 有效推理 定义2.20 若对于每组赋值, A1ùA2ù…ù Ak 为假, 或者 当A1ùA2ù…ùAk为真时, B也为真, 则称由前提A1,A2,…, Ak 推B的推理有效或推理正确, 并称B是有效的结论 定理2.8 由前提A1, A2, …, Ak 推出B 的推理正确当且仅当 A1ùA2ù…ùAk?B 为重言式. * 推理的形式结构 形式(1) A1ùA2ù…ùAk?B 形式(2) 前提: A1, A2, … , Ak 结论: B 推理正确记作 A1ùA2ù…ùAkTB 判断推理是否正确的方法: 真值表法 等值演算法 主析取范式法 构造证明法 * 实例 例1 判断下面推理是否正确: (1) 若今天是1号, 则明天是5号. 今天是1号. 所以, 明天是5号. 解 设 p: 今天是1号, q: 明天是5号 推理的形式结构为 (p?q)ùp?q 证明 用等值演算法 (p?q)ùp?q ? ?((?púq)ùp)úq