离散数学-第三章(下).pptVIP

* * 蕴含式的证法 * * 蕴含式的证法 * * 蕴含式的证法 * * 主合取范式 * * 主合取范式 【定理】任何一个命题公式都有与之等价的主合取范式。 【证明】 （1）求出该公式所对应的合取范式, 并去重； （2）去掉合取范式中的所有永真式 ( P∨┐P ) （3）若合取范式的某一个短语 H 中缺少该命题公式中的命题变元 P，则用公式：(Ｐ∧ ┐Ｐ) ∨ H = H将命题变元P补进去，并用分配律展开; （4）合并相同的大项，并用交换律进行顺序调整。 * * 主合取范式写法 * * 主合取范式写法 * * 主合取范式写法 求 P?Q和P?Q的主合取范式。 * * 主合取范式写法 * * 主合取范式写法 * * 主合取范式写法 * * 主合取范式写法 求公式(P→Q)→(Q∧R)的主合取范式 * * 对偶与范式 基本概念 主析取范式 主合取范式 主范式之间的关系 * * 主范式间的关系 * * 主范式间的关系 * * 主范式间的关系 * * 主范式间的关系 * * 主范式间的关系 * * 主范式的性质 * * 主范式的性质 （1）命题公式是永真公式当且仅当它的主析取范式包含所有的极小项，此时无主合取范式或者说主合取范式为“空”。 （2）命题公式是永假公式当且仅当它的主合取范式包含所有的极大项，此时无主析取范式或者说主析取范式为“空”。 （3）两个命题公式是相等的当且仅当它们对应的主析取范式相等，或者它们对应的主合取范式相等。 * * 本节内容到此结束 * * 命题逻辑（下） 联结词的完备集 对偶与范式 命题逻辑的推理 * * 命题逻辑的推理 * * 命题逻辑的推理 推理的基本概念 逻辑蕴含式 命题推演系统 形式证明及其应用 * * 推理的概念 推理也称为论证，它是由已知命题得到新命题的思维过程。其中已知命题称为推理的前提或假设，推得的新命题称为推理的结论。 * * 推理的概念 前提集 推理规则 有效论证 结论 有效结论 * * 推理实例 * * 命题逻辑的推理 推理的基本概念 逻辑蕴含式 命题推演系统 形式证明及其应用 * * 前提和结论的数学表示 推理的过程就是证明逻辑蕴含式的过程 * * 逻辑蕴含式 * * ?与→的差别 * * 蕴含式的证法 方法１　列真值表。 方法２ 证明蕴含逻辑算式的永真性。 方法3　 假设前件为真，推出后件也为真。 方法4　 假设后件为假，推出前件也为假。 * * 蕴含式的证法 * * 蕴含式的证法 * * 蕴含式的证法 * * 主析取范式 * * 主析取范式 * * 主析取范式 小项 成真赋值 名称 ?p∧?q 00 m0 ?p∧q 01 m1 p∧?q 10 m2 p∧q 11 m3 * * 主析取范式 * * 主析取范式 小项 成真赋值 名称 ?p∧?q∧?r 000 m0 ?p∧?q∧r 001 m1 ?p∧q∧?r 010 m2 ?p∧q∧r 011 m3 p∧?q∧?r 100 m4 p∧?q∧r 101 m5 p∧q∧?r 110 m6 p∧q∧r 111 m7 * * 主析取范式 * * 主析取范式 【定义】析取范式 A1∨A2∨...∨An, , 其中每个Ai(i=1,2..n)都是小项，称之为主析取范式。 【定义】如果一个主析取范式不包含任何小项，则称该范式为“空”，对应于永假式。 思考题:永真式的主析取范式是怎样的？ * * 主析取范式 * * 主析取范式 * * 主析取范式 【定理】任何一个命题公式都有与之等价的主析取范式。 【证明】 （1）求出该公式所对应的析取范式, 并去重； （2）去掉析取范式中的所有永假式 ( P∧┐P ) （3）若析取范式的某一个短语 H 中缺少该命题公式中的命题变元 P，则用公式：(Ｐ∨┐Ｐ)∧H = H将命题变元P补进去，并用分配律展开; （4）合并相同的小项，并用交换律进行顺序调整。 * * 主析取范式写法 * * 主析取范式写法 * * 主析取范式写法 * * 主析取范式写法 * * 主析取范式写法 求 P?Q和P? Q的主析取范式。 P?Q? m0∨m1∨m3 ?(?P∧?Q)∨(?P∧Q)∨(P∧Q) P?Q?m0∨m3? (?P∧?Q)∨(P∧Q) * * 主析取范式写法 * * 主析取范式写法 * * 主析取范式写法 * * 主析取范式写法 * * 主析取范式写法 * * 主析取范式写法 * * 主析取范式写法 * * 主析取范式 * * 对偶与范式 基本概念 主析取范