离散数学--24命题逻辑推理理论.pptVIP

2.4 命题逻辑推理理论 2.4.1 推理的形式结构 推理的前提与结论,正确推理 推理定律 2.4.2 自然推理系统P 推理规则 直接证明法, 附加前提证明法, 归谬法(反证法), 归结证明法 有效推理 定义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 ? ((pù?q)ú