命题逻辑之二(逻辑学)演示幻灯片.pptVIP

命题逻辑：推演 前言：什么是推演？什么是自然演绎？ 推演：例子 如果小王是三好学生，那么小王学习好并且品德好；小王是三好学生，所以，小王学习好。 分析为：如果小王是三好学生，那么小王学习好并且品德好；小王是三好学生，所以，小王学习好并且品德好。 小王学习好并且品德好，所以小王品德好。 由相对复杂的推论分析为简单可以推演规则为依据的简单推论并且一步一步得出结论的方法就是“自然演绎”。自然演绎的过程称之为推演。 八条整推规则 肯定前件 根据蕴含命题的特征真值表 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五个学生到都灵旅行，他们在看了这块裹尸布以后，也就它的真伪问题发表了自己的看法：  E说：纺织史家意见不完全可靠，最可能的是碳14测定法，如果这亚麻布是圣物，那么，它是公元1世纪织品，如果碳14测定法测定其为公元1世纪织品，那么它就是圣物。 问题：请将上述五个推论符号化，并确认哪一个是八个整推规则中的一个。 八条整推规则的应用 某天深夜伦敦一大公寓发生三起刑事案件：住四楼的一名下院议员被枪杀；住二楼的一名收藏家五幅16世纪油画被盗；住底楼的一名芭蕾舞演员被强奸。 接到报警后，警方大批警员赶赴现场侦查，断定三案件分别为三罪犯单独作案，三个月深入侦查后，抓获三个罪犯A、B、C。审讯中三人口供如下： A：1.C是杀人犯，出于私仇杀了议员； 2.我既被捕，当然要编造口供，所以我不是十分老实； 3.B是强奸犯。 B：1.A是著名大盗，盗画人就是他； 2.A从来不说真话； 3.C是强奸犯 C：1.盗窃案不是B做的； 2.A是杀人犯； 3.我在那天晚上在那个公寓做过案。 以上一个人供认属实，全说真话；一个人极不老实，供认全是假话，另一个供认有真有假。 问：三人各犯什么罪？ 分析：先找出说话有真有假的人，最有可能的是A，他的第二句话，可以看出这一点，为什么？ 确定A的话有真有假我们根据这个案例已知的一切，可以作出以下推论（这个推论也可以看出A的话有真有假）： 如果A是供认属实的罪犯，那么他不会说自己编造口供；如果A是最不老实的罪犯，那么他就不会承认自己并非十分老实；A说自己编口供，并且承认自己并不十分老实；所以，A不是供认属实的罪犯，并且不是最不老实的罪犯。 先将以上推论符号化： 令：S：A供认属实；B：A说自己编口供； U：A最不老实；C：A承认自己并不十分老实 推论符号化为： S→ ¬ B U→ ¬ C B ∧ C ∴ ¬ S ∧ ¬ U 论证： （1