离散数学及其应用第3章-命题演算与推理(下).ppt

* 计算机应用技术研究所 * 有效结论 * 计算机应用技术研究所 * 有效结论 * 计算机应用技术研究所 * 有效结论 * 计算机应用技术研究所 * 有效结论 【例题】若马会飞或羊吃草，则母鸡就会变飞鸟；如果母鸡变飞鸟，那么烤熟的鸭子还会跑；烤熟的鸭子不会跑。所以羊儿不吃草。试给出上述推理的形式证明。 【分析】首先找出句子中所有原子命题并用命题变量进行表示，然后确定推理的前提和结论并将整个推理进行符号化表示 * 计算机应用技术研究所 * 有效结论 * 计算机应用技术研究所 * 有效结论 命题逻辑的演绎推理 永真蕴含关系与判定 命题公式的推演系统 命题推证的基本策略 * 计算机应用技术研究所 * 真值表法 * 计算机应用技术研究所 * 主范式的应用 * 计算机应用技术研究所 * 主范式的应用 * 计算机应用技术研究所 * 主范式的应用 相应的电路图如下： * 计算机应用技术研究所 * 主范式的应用 【例题】某单位要从A, B, C这三名科研骨干中挑选1到2名出国进修，根据工作业务上的需要，选派人员需满足如下条件：（1）若A去, 则C必须去；（2）若B去, 则C不能去；（3）若C不去，则A或B都可以去。问如何选派？ 【分析】首先将问题通过符号化表示成命题公式，由于可行的方案对应于命题公式的成真赋值，故可将命题公式化为主析取范式，然后通过小项析取得到所有可行的选派方案。 * 计算机应用技术研究所 * 主范式的应用 * 计算机应用技术研究所 * 主范式的应用 * 计算机应用技术研究所 * 本节内容到此结束 * 命题公式的范式 4 5 命题逻辑的演绎推理 本章学习内容(下) 6 命题逻辑的应用 * 计算机应用技术研究所 * 命题逻辑的演绎推理 命题逻辑的演绎推理 永真蕴含关系与判定 命题公式推演系统 命题推证的基本策略 * 计算机应用技术研究所 * 永真蕴含关系与判定 * 计算机应用技术研究所 * 永真蕴含关系与判定 * 计算机应用技术研究所 * 永真蕴含关系与判定 * 计算机应用技术研究所 * 永真蕴含关系与判定 * 计算机应用技术研究所 * 永真蕴含关系与判定 * 计算机应用技术研究所 * 永真蕴含关系与判定 * 计算机应用技术研究所 * 基本永真蕴含关系 * 计算机应用技术研究所 * 基本永真蕴含关系 * 计算机应用技术研究所 * 永真蕴含关系判定法 基本方法：真值表法和等值演算法。每种方法都对应三种不同的解法： ①证明蕴含逻辑算式的永真性 ②假设前件为真，则后件也为真 ③假设后件为假，则前件也为假。 * 计算机应用技术研究所 * 永真蕴含关系判定法 * 计算机应用技术研究所 * 永真蕴含关系判定法 * 计算机应用技术研究所 * 永真蕴含关系判定法 【分析】方法二：若前件为真，则后件也为真 【证明】列出如表所示的真值表。由真值表可知，当P、Q的真值指派都为0时，前件?Q∧(P→Q)为真，此时后件?P也为真。因此?Q∧(P→Q)??P成立。 【分析】方法三：若后件为假，则前件也为假 【证明】现出如所示的真值表。由真值表可知，当P、Q的真值指派分别为1、1或1、0时，后件?P为假，此时前件?Q∧(P→Q)也都为假。因此?Q∧(P→Q)??P成立。 * 计算机应用技术研究所 * 永真蕴含关系判定法 * 计算机应用技术研究所 * 永真蕴含关系判定法 * 计算机应用技术研究所 * 永真蕴含关系判定法 对于永真蕴含关系的判定和证明，公式演算法与真值表法的基本思路几乎一样，二者的差别仅仅在于求解的表现形式不同，一个通过真值表的枚举，另外一个是通过命题公式的逻辑演算。 命题逻辑的演绎推理 永真蕴含关系与判定 命题公式推演系统 命题推证的基本策略 * 计算机应用技术研究所 * 有效推理 * 计算机应用技术研究所 * 有效推理 * 计算机应用技术研究所 * 有效推理 * 计算机应用技术研究所 * 有效推理 * 计算机应用技术研究所 * 推演系统的基本结构 * 计算机应用技术研究所 * 推演系统的基本结构 * 计算机应用技术研究所 * 主析取范式 * 计算机应用技术研究所 * 主析取范式 命题公式的范式 范式的基本概念 主析取范式 主合取范式 主范式之间的联系 * 计算机应用技术研究所 * 主合取范式 * 计算机应用技术研究所 * 主合取范式 * 计算机应用技术研究所 * 主合取范式 * 计算机应用技术研究所 * 主合取范式 * 计算机应用技术研究所 * 主合取范式 * 计算机应用技术研究所 * 主合取范式 * 计算机应用技术研究所 * 主合取范式 根