命题逻辑之二(逻辑学).ppt

命题逻辑：推演 前言：什么是推演？什么是自然演绎？ 推演：例子 如果小王是三好学生，那么小王学习好并且品德好；小王是三好学生，所以，小王学习好。 分析为：如果小王是三好学生，那么小王学习好并且品德好；小王是三好学生，所以，小王学习好并且品德好。 小王学习好并且品德好，所以小王品德好。 由相对复杂的推论分析为简单可以推演规则为依据的简单推论并且一步一步得出结论的方法就是“自然演绎”。自然演绎的过程称之为推演。 八条整推规则 肯定前件 根据蕴含命题的特征真值表 P→Q 蕴含命题真并且前件真后件真， P 前件真后件后件真假不确定 ∴ Q 否定后件 P→Q ? Q ∴ ? P 否定析取支 P∨ Q P∨ Q ?P 和 ? Q ∴Q ∴ P 附加 P 和 Q ∴ P∨ Q ∴ P∨ Q 根据析取命题的特征真值表，析取命题真并且其中一个析取支真另一个析取支可真可假；析取命题真并且其中一个析取支假另一个析取支真；析取命题一个析取支真，析取命题真。 化简 P∧ Q 和 P∧ Q ∴ P ∴Q 合取 P Q ∴ P∧ Q 根据合取命题的特征真值表，合取命题真，其两个合取支都真；两个合取支都真，合取命题真。 假言三段论 P→Q Q→R ∴P→R 二难推论 P→Q R→S P∨R ∴ Q∨S 应用整推规则需要注意的是：八条规则必须应用于整个命题，不能应用于命题的某个部分；换句话说就是要应用于主联结词。 A ∨ B→C 和 A ∨ B→C ? A ?C ∴ B→C ∴ ?（A∨B） 意大利的都灵大教堂，因为珍藏了一件绝世圣物而名闻遐迩。相传该圣物是耶稣遇难后包裹尸体的布幅。这块裹尸布，用细亚麻织成，长4.3米，宽3米，供放在一只精致的盒子里，终年摆在教堂的圣坛上。 这块裹尸布是1357年首次展示的，在以后的六百多年中，它的真伪问题一直引起信徒们的激烈争论。 一些信徒把它奉为至高无上的圣物而顶礼膜拜，不许有一丝一毫的亵渎和不敬；另一些信徒却认为它不过是好事者伪造出来的赝品。  某年，一神学院的A，B，C，D，E五个学生到都灵旅行，他们在看了这块裹尸布以后，也就它的真伪问题发表了自己的看法：  A说：我认为这圣物是真的。因为如果它是假的话，那么，它就不可能在六百多年一直被我们的教友所敬奉；事实上，我们都是虞城地敬奉它的，可见它是真的。 B说：我也相信这件圣物是真的。大家想想耶稣受难时的情景吧！耶稣是钉死在十字架上的，那时手上，大腿上一定留了大量的血。所以我们可以这样分析：如果它是真的，那么，在它上面必定有大量的血迹，（因为它是用来包裹尸体的），现在我们亲眼看到它上面由斑斑得血迹，可见它是真的。  C说：我同意B的分析。此外，我还要补充一点理由：只有这块布上有血迹，才有可能是圣物；像刚才B所说的，我们亲眼看见它上面有许多血迹，可见它是圣物无疑了。  D说：我不认为它是圣物，这道理是最简单不过的。许多研究纺织史的专家认为：在欧洲，粗糙的亚麻织品在公元前虽然就出现了，而亚麻细布却是直到公元2世纪才出现。这就是说，如果这块布真的是耶稣的裹尸布，那么，耶稣应该是公元2世纪以后才受难的，可见，《圣经》说它是公元1世纪受难的呀！可见，它根本不可能是什么圣物。 E说：纺织史家意见不完全可靠，最可能的是碳14测定法，如果这亚麻布是圣物，那么，它是公元1世纪织品，如果碳14测定法测定其为公元1世纪织品，那么它就是圣物。 问题：请将上述五个推论符号化，并确认哪一个是八个整推规则中的一个。 八条整推规则的应用 某天深夜伦敦一大公寓发生三起刑事案件：住四楼的一名下院议员被枪杀；住二楼的一名收藏家五幅16世纪油画被盗；住底楼的一名芭蕾舞演员被强奸。 接到报警后，警方大批警员赶赴现场侦查，断定三案件分别为三罪犯单独作案，三个月深入侦查后，抓获三个罪犯A、B、C。审讯中三人口供如下： A：1.C是杀人犯，出于私仇杀了议员； 2.我既