大连理工大学软件院 离散数学 第一章 命题逻辑-4th.pptVIP

*/38 反证法 例：足坛4支甲级队进行比赛，已知情况如下： 前提：1、若大连万达获冠军，则北京国安和上海申花 获得亚军 2、若上海申花获亚军，则大连万达不能获冠军 3、若陕西国力获亚军，则北京国安不能获亚军 4、最后大连万达获冠军 结论：5、陕西国力未获亚军 */38 反证法 用推理的方法证明由{1、2、3、4}能否推出5 解：首先将命题符号化 令P：大连万达获冠军 Q：北京国安获亚军 R：上海申花获亚军 S：陕西国力获亚军 */38 反证法 于是问题可符号化为： P?(Q ? R),R??P,S??Q,P ? ?S/*注意这里自然语言中的和表示的是排斥或，所以用? 来表示*/ 解：1、 ??S P规则（假设前提） 2、S T规则和1 3、S??Q P规则 4、 ?Q T规则2和3 5、P P规则 6、P?(Q?R) P规则 7、Q?R T规则5和6 8、R T规则4和7 9、 R??P P规则 */38 反证法 10、 ?P T规则8和9 11、P??P T规则5和10 12、 ?S F规则1和11 　　　　　　　　/*问题得证*/ */38 证明有效结论使用方法规律 当要证明的结论是条件式时，可考虑使用CP规则 当要证明的结论比较简单，而仅仅使用前提推导不明显时，可考虑使用间接证明法即F规则，以使推导过程变得简捷。 */38 小结 本章我们学习了命题的概念以及在命题集合上的运算： ?、?、?、?、?、 ?。 但是这些逻辑联结词并不是必不可少的，于是引出了逻辑联结词最小全功能完备集的概念： {?，?}和{?，?}。 */38 小结 此外，我们完成了命题逻辑中的一个重要任务：合式公式的判定求解方法：A：真值表法；B：等价公式变换法；C：利用对偶原理 D：通过求主范式的方法。 我们学习了一些常用的等价式和永真蕴涵式及推理规则；目的是用命题逻辑解决推理问题；我们介绍了P规则，T规则，CP规则，F规则的使用及使用我们介绍的等价式和蕴含式及四条规则正确进行推理的练习。 */38 作业 P25习题 5(1)， 7（1）：要求使用F规则 9（1）：要求使用F规则 补充题： 1，验证下列论述有效性 如果李明学习努力，那么他成绩好 如果李明不热衷于玩扑克，那么他就学习努力 李明成绩不好。 所以，李明热衷于玩扑克。 */38 作业（续） 2，证明下列各式的有效性 上机作业： 必做：任意输入一个析取范式，计算并输出其主析取范式 选作：任意输入一个命题公式，计算并输出其真值表以及主析取和主合取范式。 * * 其中，第一列上花括号中的数字集合，指明了本行上的公式所依赖的前提。第二列中的编号既代表了该公式又代表了该公式所处的行。最右边给出的是推理规则和注释，注释包括本行是哪行的结论及所依据的恒等式和永真蕴含式。 * * 这种推导方法，实际上仅是部分的解决了判定问题的求解。 也就是说，如果一个论证是有效的，则使用这种方法可以证明论证是有效的； 反之，如果论证不是有效的，则经过有限步之后，还难于断定这个论证不是有效的。 离散数学 第一章 命题逻辑 */38 回顾 对偶原理 定义， 三条原理：非运算与对偶，等价，永真蕴含 析取范式和合取范式 基本积，基本和 基本和的积，基本积的和 主析取范式和主合取范式 极小项（积），极大项（和），基—二进制数—十进制数—描述符 极小项的和，极大项的积，两者的关系。 */38 求范式步骤： (2) 否定消去或内移。 (3) 利用分配律。 (1) 消去联结词 回顾 */38 1.7命题演算的推理理论 数理逻辑的一个主要任务就是提供一套推理规则，给定一些前提，利用所提供的推理规则，推导出一些结论来，这个过程称为演绎或证明。 生活中： 倘若认定前提是真的，从前提推导出结论的论证是遵守了逻辑推理规则，则认为此结论是真的，并且认为这个论证过程是合法的。 数理逻辑中： 不关心前提的真实真值，把注意力集中于推理规则的研究，依据这些推理规则推导出的任何结论，称为有效结论，而这种论证则被称为有效论证。 */38 有效结论 定义:设A和B是两个命题公式，当且仅当A?B是个永真式，即A?B，则说B是A的有效结论，或B由A可