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

1、课件12.4 命题逻辑推理理论命题逻辑推理理论 2.4.1 推理的形式结构推理的形式结构推理的前提与结论推理的前提与结论, ,正确推理正确推理 推理定律推理定律 2.4.2 自然推理系统自然推理系统p推理规则推理规则直接证明法直接证明法, , 附加前提证明法附加前提证明法, , 归谬法归谬法( (反证法反证法), ), 归结证明法归结证明法课件2有效推理有效推理定义定义2.20 若对于每组赋值若对于每组赋值, a1 a2 ak 为假为假, 或者或者当当a1 a2 ak为真时为真时, b也为真也为真, 则称由前提则称由前提a1,a2, ak推推b的的推理有效推理有效或或推理正确推理正确, 并称并

2、称b是是有效的结论有效的结论定理定理2.8 由前提由前提a1, a2, , ak 推出推出b 的推理正确当且仅当的推理正确当且仅当 a1 a2 akb为重言式为重言式.课件3推理的形式结构推理的形式结构形式形式(1) a1 a2 akb形式形式(2) 前提前提: a1, a2, , ak 结论结论: b 推理正确记作推理正确记作 a1 a2 akb判断推理是否正确的方法判断推理是否正确的方法:真值表法真值表法等值演算法等值演算法主析取范式法主析取范式法构造证明法构造证明法课件4实例实例例例1 判断下面推理是否正确判断下面推理是否正确:(1) 若今天是若今天是1号号, 则明天是则明天是5号号.

3、今天是今天是1号号. 所以所以, 明天是明天是5号号. 解解 设设 p: 今天是今天是1号号, q: 明天是明天是5号号 推理的形式结构为推理的形式结构为 (pq) pq证明证明 用等值演算法用等值演算法 (pq) pq ( p q) p) q (pq)p) q pq q 1得证推理正确得证推理正确课件5实例实例(续续)(2) 若今天是若今天是1号号, 则明天是则明天是5号号. 明天是明天是5号号. 所以所以, 今天是今天是1号号. 解解 设设p: 今天是今天是1号号, q: 明天是明天是5号号. 推理的形式结构为推理的形式结构为 (pq) qp证明证明 用主析取范式法用主析取范式法 (pq)

4、 qp ( p q) qp ( p q) q) p q p ( pq) (pq) (pq) (p q) m0 m2 m3 01是成假赋值是成假赋值, 所以推理不正确所以推理不正确.课件6推理定律推理定律重言蕴涵式重言蕴涵式 a (a b) 附加律附加律 (a b) a 化简律化简律(ab) a b 假言推理假言推理(ab)b a 拒取式拒取式(a b)b a 析取三段论析取三段论(ab) (bc) (ac) 假言三段论假言三段论(ab) (bc) (ac) 等价三段论等价三段论(ab) (cd) (a c) (b d) 构造性二难构造性二难 (ab) ( ab) b 构造性二难构造性二难(特殊

5、形式特殊形式)(ab) (cd) ( bd) ( ac) 破坏性二难破坏性二难课件7自然推理系统自然推理系统p自然推理系统自然推理系统p由下述由下述3部分组成部分组成:1. 字母表字母表(1) 命题变项符号命题变项符号: p,q,r, pi,qi,ri,(2) 联结词联结词: , , , , (3) 括号与逗号括号与逗号: ( ), ,2. 合式公式合式公式3. 推理规则推理规则(1) 前提引入规则前提引入规则(2) 结论引入规则结论引入规则(3) 置换规则置换规则课件8自然推理系统自然推理系统p(续续)(7) 拒取式规则拒取式规则 ab b a(8) 假言三段论规则假言三段论规则 ab bc

6、 ac (4) 假言推理规则假言推理规则 ab a b(5) 附加规则附加规则 a a b(6) 化简规则化简规则 a b a 课件9自然推理系统自然推理系统p(续续)(11) 破坏性二难推理规则破坏性二难推理规则 ab cd bd ac(12) 合取引入规则合取引入规则 a b a b (9) 析取三段论规则析取三段论规则 a b b a(10)构造性二难推理规则构造性二难推理规则 ab cd a c b d课件10直接证明法直接证明法例例2 在自然推理系统在自然推理系统p中构造下面推理的证明中构造下面推理的证明:前提前提: p q, qr, ps, s结论结论: r(p q) )证明证明

7、ps 前提引入前提引入 s 前提引入前提引入 p 拒取式拒取式 p q 前提引入前提引入 q 析取三段论析取三段论 qr 前提引入前提引入 r 假言推理假言推理 r(p q) ) 合取合取推理正确推理正确, , r(p q) )是有效结论是有效结论课件11实例实例例例3 构造推理的证明构造推理的证明: 若明天是星期一或星期三若明天是星期一或星期三, 我就有我就有课课. 若有课若有课, 今天必需备课今天必需备课. 我今天下午没备课我今天下午没备课. 所以所以, 明天明天不是星期一和星期三不是星期一和星期三. 解解 设设 p:明天是星期一明天是星期一, q:明天是星期三，明天是星期三， r:我有课

8、，我有课， s:我备课我备课前提前提: (p q)r, rs, s结论结论: pq 课件12实例实例(续续)前提前提: (p q)r, rs, s结论结论: pq 证明证明 rs 前提引入前提引入 s 前提引入前提引入 r 拒取式拒取式 (p q)r 前提引入前提引入 (p q) 拒取式拒取式 pq 置换置换结论有效结论有效, 即明天不是星期一和星期三即明天不是星期一和星期三课件13附加前提证明法附加前提证明法欲证明欲证明 等价地证明等价地证明前提前提: a1, a2, , ak 前提前提: a1, a2, , ak, c结论结论: cb 结论结论: b理由理由: (a1 a2 ak)(cb)

9、 ( a1 a2 ak) ( c b) ( a1 a2 ak c) b (a1 a2 ak c)b课件14实例实例例例4 构造下面推理的证明构造下面推理的证明:前提前提: p q, q r, rs结论结论: ps证明证明 p 附加前提引入附加前提引入 p q 前提引入前提引入 q 析取三段论析取三段论 q r 前提引入前提引入 r 析取三段论析取三段论 rs 前提引入前提引入 s 假言推理假言推理推理正确推理正确, , ps是有效结论是有效结论课件15归谬法归谬法(反证法反证法)欲证明欲证明前提：前提：a1, a2, , ak 结论：结论：b将将 b加入前提加入前提, 若推出矛盾若推出矛盾,

10、则得证推理正确则得证推理正确. 理由理由: a1 a2 akb (a1 a2 ak) b (a1 a2 akb)括号内部为矛盾式当且仅当括号内部为矛盾式当且仅当 (a1 a2 akb)为重言式为重言式课件16实例实例例例5 构造下面推理的证明构造下面推理的证明前提前提: (p q) r, rs, s, p结论结论: q证明证明 用归缪法用归缪法 q 结论否定引入结论否定引入 rs 前提引入前提引入 s 前提引入前提引入 r 拒取式拒取式课件17实例实例(续续) (p q) r 前提引入前提引入 (p q) 析取三段论析取三段论 pq 置换置换 p 析取三段论析取三段论 p 前提引入前提引入 p

11、 p 合取合取推理正确推理正确, , q是有效结论是有效结论课件18归结证明法归结证明法理由理由 (p q)(p r)(q r) ( (p q)(p r) (q r) ( pq)(pr) q r ( ( pq) q)(pr) r) ( p q)(p r) 1 1归结规则归结规则 a b a c b c课件19归结证明法归结证明法(续续)在自然推理系统在自然推理系统p中只需下述推理规则中只需下述推理规则:(1) 前提引入规则前提引入规则(2) 结论引入规则结论引入规则(3) 置换规则置换规则(4) 化简规则化简规则(5) 合取引入规则合取引入规则(6) 归结规则归结规则课件20归结证明法的基本步

12、骤归结证明法的基本步骤1. 将每一个前提化成等值的合取范式将每一个前提化成等值的合取范式, 设所有合取范式的设所有合取范式的全部简单析取式为全部简单析取式为a1, a2, at2. 将结论化成等值的合取范式将结论化成等值的合取范式b1 b2 bs, 其中每个其中每个bj是简单析取式是简单析取式3. 以以a1,a2,at为前提为前提, 使用归结规则推出每一个使用归结规则推出每一个bj, 1 j s4. 由合取引入规则得到结论由合取引入规则得到结论b1 b2 bs课件21实例实例例例6 用归结证明法构造下面推理的证明用归结证明法构造下面推理的证明:前提前提: ( (pq)r, rs, s结论结论: ( (pq)()(p s) )解解 ( (pq)r (p q)r ( (pq)r ( (p r)(q r) ) rs r s ( (pq)()(p s) ) (p q)()(p s) () (pq)(p s) ) p(q s)推理可表成推理可表成前提前提: : p r, , q r, , r s, , s结论结论: p(q s)课件22实例实例(续续)前提前提: : p r, , q r, , r s, , s结论结论: p(q s)证明证明 q r 前提引入前提引入 r s 前提引入前提引入 q s 归结归结