重庆大学计算机学院 离散数学,重庆大学离散数学一.ppt

重庆大学离散数学一

第1章　命题逻辑 重要的蕴涵式 §1.6 对偶式与蕴涵式 化简律：A∧ B 　 A， A∧ B 　 B 附加律：A 　A ∨ B，B 　A ∨ B 假言推理：( A→ B) ∧ A　 B 拒取式：( A→ B) ∧﹁B 　﹁A 析取三段论：( A∨B )∧﹁A　 B， ( A∨B )∧﹁ B 　 A 假言三段论：( A→B )∧ ( B→C ) 　A→C 等价三段论：( A ? B )∧ ( B ? C ) 　A ? C 构造性二难：( A→B )∧ ( C→D )∧ ( A∨C ) 　( B∨D) 破坏性二难：( A→B )∧(C→D)∧(﹁B∨﹁D) 　(﹁A∨﹁C) 前后件附加：( A→B ) 　( A∨C ) →( B∨C) 　　　 ( A→B ) 　( A∧C ) →( B∧C) T T T T T T T T T T T T T T §1.6 对偶式与蕴涵式 定理 设A、B为任意两个命题公式，则A?B的充要条件是 A 　B 且B 　 A。 T T 证明：先证明充分条件： 因为A?B，即A ? B是重言式，又A ? B?(A→B)∧(B→A) 所以(A→B)与(B→A)均为重言式，可见A 　B且B 　A。 下面证必要条件： 因为A 　B且B 　A，即(A→B)与(B→A)均为重言式，所以 (A→B)∧(B→A)也是重言式。由A ? B?(A→B)∧(B→A)为重言式知A?B。 T T T T §1.7 命题逻辑的推理理论 1　基本定义 对于命题公式A1，A2，…，An，B，若有 　　　　　A1∧ A2 ∧ … ∧ An　　B 则称B为A1，A2，…，An逻辑结论或有效结论，也称B可由一组前提A1，A2，…，An逻辑推出，记为A1，A2，…，An ╞ B T 2　逻辑推理的三种判断方法 简单证明法 定义知，只需证明A1∧ A2 ∧ … ∧ An→B是重言式即可。 可用真值表法、等值演算法、主析(合)取范式法以及假设推理法等。 § 1.7 命题逻辑的推理理论 例：判断下面的推理是否正确： 如果小王是计算机专业的，小王就学离散数学。小王不是计算机专业的，所以小王不学离散数学。 判断推理正确与否首先要将命题符号化，找出前提与结论，写出要证明的推理式。 p：小王是计算机专业的；q：小王学离散数学 前提：p → q，﹁p 结论：﹁q 只要证明( p → q )∧﹁p → ﹁q 为重言式即可。 解 等值演算法： ( p → q )∧﹁p → ﹁q ?(﹁p ∨q )∧﹁p →﹁q ?﹁p → ﹁q ? p ∨﹁q 00、10、11为成真赋值，01为成假赋值，显然原式不是重言式，故推理不正确。 ① § 1.7 命题逻辑的推理理论 真值表法： ② 1 0 0 0 1 1 1 1 0 1 0 0 0 1 0 1 0 1 1 1 0 1 1 1 1 1 0 0 (p → q )∧﹁p →﹁q ( p → q )∧﹁p ﹁q ﹁p p → q q p 最后一列不全为1，所以(p → q )∧﹁p →﹁q不是重言式，故推理不正确。 § 1.7 命题逻辑的推理理论 主析取范式法： ③ 假设(p → q )∧﹁p为真，则 ﹁p 为真且p → q 为真，即p 为假且p → q为真，所以q可为真也可为假，不能得出 (p → q )∧﹁p　 ﹁q 　(p → q )∧﹁p →﹁q ? p ∨﹁q ?( p ∧q) ∨ ( p ∧﹁q) ∨ (﹁ p ∧﹁q) ?m0 ∨m2 ∨ m3 ? ∑( 0，2，3 ) 不包含所有极小项，原式不是重言式，故推理不正确。 假设推理法： ④ T §1.7 命题逻辑的推理理论 直接构造证明法 由给定的一组前提出发，利用推理规则逐步推演得到逻辑结论 常用推理规则： 前提引入规则：前提在证明过程中的任何步骤上都可以引入使用 结论引入规则：在推理中，若一个或一组前提已证出结论B，则B可引入到以后的推理中作为前提使用 置换规则：在推理过程的任何步骤上，命题公式的任何子公式都可以用与之等值的公式置换 化简规则：A∧ B ╞ A， A∧ B ╞ B 附加规则：A ╞ A ∨ B，B ╞ A ∨ B §1.7 命题逻辑的推理理论 常用推理规则： 假言推理规则： A→ B，A ╞ B 拒取式规则： A→ B，﹁B ╞ ﹁A 析取三段论规则： A∨B ，﹁A ╞ B， A∨B ，﹁B ╞ A 假言三段论规则： A→B ， B→C ╞ A→C 等价三段论规则： A ? B ，B ? C ╞ A ? C 构造性二难规则： A→B，C→D，A∨C ╞ B∨D 破坏性二难规则：