第一章命题逻辑4.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 作业 P24 21(1)，23,24 * * 其中，第一列上花括号中的数字集合，指明了本行上的公式所依赖的前提。第二列中的编号既代表了该公式又代表了该公式所处的行。最右边给出的是推理规则和注释，注释包括本行是哪行的结论及所依据的恒等式和永真蕴含式。 * * 这种推导方法，实际上仅是部分的解决了判定问题的求解。 也就是说，如果一个论证是有效的，则使用这种方法可以证明论证是有效的； 反之，如果论证不是有效的，则经过有限步之后，还难于断定这个论证不是有效的。 离散数学 第一章 命题逻辑 */38 回顾 对偶原理 定义， 三条原理：非运算与对偶，等价，永真蕴含 析取范式和合取范式 基本积，基本和 基本和的积，基本积的和 主析取范式和主合取范式 极小项（积），极大项（和），基—二进制数—十进制数—描述符 极小项的和，极大项的积，两者的关系。 */38 求范式步骤： (2) 否定消去或内移。 (3) 利用分配律。 (1) 消去联结词 回顾 */38 1.6 命题演算的推理理论 数理逻辑的一个主要任务就是提供一套推理规则，给定一些前提，利用所提供的推理规则，推导出一些结论来，这个过程称为演绎或证明。 生活中： 倘若认定前提是真的，从前提推导出结论的论证是遵守了逻辑推理规则，则认为此结论是真的，并且认为这个论证过程是合法的。 数理逻辑中： 不关心前提的真实真值，把注意力集中于推理规则的研究，依据这些推理规则推导出的任何结论，称为有效结论，而这种论证则被称为有效论证。 */38 有效结论 定义:设A和B是两个命题公式，当且仅当A?B是个永真式，即A?B，则说B是A的有效结论，或B由A可逻辑的推出。 可把该定义推广到有n个前提的情况。 */38 有效结论 定义： 例： H1：今天晴天或者今天下雨。 H2：今天不是晴天。 C：今天下雨。 */38 证明有效结论的方法 1，真值表法 思路:“证明使前提集合取值为真的那些组真值指派，也一定使结论取值为真”。 例:考察结论C是否是下列前提H1，H2,H3的结论。 (1) H1：P→Q，H2：P，C：Q P Q H1 H2 C H1Λ H2→C 0 0 1 0 0 1 0 1