08命题逻辑.ppt

 第一章 命题逻辑 回 顾 方法二：由于原 命题等值于其逆反 命题，即 A→B?┐B→┐A ，所以用分析法证明A?B ， 有如下两种方法: (1) 假设前件A为真时, 推出后件B也为真, 则A?B ; (2) 假设后件B为假时, 推出前件A也为假, 则A?B 。 例1-27 分析证明 。 证明：假设后件 为0，则P为1，R 为 0。 (a)若Q为1，则 为0，所以 为0； (b)若Q为0，则 为0，所以 为0。 故此： 成立。 常见的蕴含重言式 1．6．2 蕴含公式的性质 　（1）设A、B是命题公式，若A?B 且A为重言式，则B必是重言式。 证明: 因为A?B ，所以 A→B 为1，又因为A为1，所以B为1，即B为重言式。 （2）蕴含关系是传递的，即A?B 且B?C ， 则A?C 。 1.8 推理理论 逻辑学的主要任务是提出一套推理规则，按照公认的推理规则从前提集合中推导出一个结论来，这个推理过程称为演绎或形式证明。 在一般的论证中，主要是根据实践经验。如果确认前提为真，并遵守恰当的推理规则，则可期望所得的结论也是真的。倘若认定前提是真的，从前提推导出结论的论证是遵守逻辑推理规则，且公认此结论是真实的，则这个论证称为合法论证。一般论证中必须特别注意论证的合法性。 所谓合法是指前提和结论都符合客观实际情况，大家公认是真实的。即合情、合理、合法，令人信服。 在数理逻辑中情况稍有不同，它把注意力集中在推理规则的研究上，如果依据这些推理规则，从前提推导出来的任何结论都称为有效结论，这种论证称为有效论证。在确认论证有效性时，前提与结论的真实性不起任何作用，也就是说，在数理逻辑中，只关心论证的有效性，而不大关心论证的合法性。 蕴含式的定义是：给定两个命题公式A和B，当且仅当A→B 是一个重言式，则称A蕴含B，记为 A?B ，又称B是A的有效结论或B由A逻辑推出。这个定义可以推广到有n个前提的情况。 定义1-27 设 是命题公式，当且仅当 则称C是前提集合 的有效结论。 判别有效结论的过程就是论证的过程，论证方法千变万化，但基本方法是真值表法、直接证法和间接证法。 （一）真值表法 设 是出现的前提集合 和C中的所有命题分量，假定对 作全部的真值指派就能确定 和C的真值，那么通过真值表就可以确定结论C是否是前提集合的有效论证，这个方法称为真值表法。 利用真值表判别一个有效论证的方法： 方法一： 在真值表上，若前提 H1,H2,H3,…Hn 均为真的所有行，结论C也为真，则论证有效。 方法二： 在真值表上，若结论C为假的每一行，其前提 H1,H2,H3,…Hn 中至少有一个为假，则论证有效。 例1-28 如果我认真学习，我的“离散数学”不会不及格， 如果我不热衷于玩电子游戏，我将认真学习， 但我的“离散数学”不及格。 结论：我热衷于玩电子游戏。 P:我认真学习， Q:我的“离散数学”及格， R:我热衷于玩电子游戏。 符号化为： 其真值表如下： 解： 判断法一：真值表中，只有第2行的前提都为1，其结论也为1，所以论证有效。 判断法二：真值表中，第1、3、5、7行为0，每行的前提至少有一个为0，所以论证有效。 （二）构造证明法 (1)推理规则 常用的推理规则有： P