逻辑学第六讲：命题逻辑的自然演绎系统一二节解答.pptVIP

（附录）练习题： 一，请为以下推理构造形式证明： （1）（P?Q）?R，?Q /P?R （2）（P?Q）?R，P?S /R?S （3）?P?（R??Q），P??Q，?S??R???Q，?S /?R （4）P?Q?R，Q?P??S，S?T，P?H /T （5）P?Q，Q?P?R，Q?P?R?S /P?S 二，用整推规则或置换规则构造以下推理的有效性证明。 （1）?P?（Q?T），P?Q，T?S，?Q /Q?S （2）?M?（N?L），J?K，?M，M?（N?J） /L?K （3）?P??Q??（R?S），?P，（R?S）?（T?U），?U /?T （4）??Q，（（P?Q）?（?Q??S））?R，?（P?Q） /?S （5）J?（H?R?S?T），?S，（R?H）?J /T 第六讲 命题逻辑的自然演绎系统概论 本章主要讨论命题演算。首先我们要能熟练的运用推导规则，其次在此基础上理解形式化的逻辑系统与具体推理论证的关系。 目标： 第一节：自然演绎系统概述 第二节：推导规则 第三节：条件证明规则 第四节：间接证明规则 第一节：自然演绎系统概述 强调两点： （一），如果推理前提真，则结论一定真。 （二），所依据的只有推理的规则，没有公理。 自然演绎推理有不同的系统，那是因为人们选择了不同的规则作为前提。我们仅介绍其中一种，这样的系统主要包括以下三个方面的内容： （一），初始符号 （二），形成规则 （三），推演规则 有的公式比较复杂，其中辖域最大的联结词我们称之为主联结词。 （A?B?C?D）?（E?F??G） 从公式我们也可以看出，联结词的结合力依以下次序递减： ?，?，?，?，? 第二节：推演规则 （一）整推规则 （二）置换规则 （三）条件证明规则 （四）间接证明规则 （一）整推规则 通常，整推规则有10条。 推理规则1：肯定前件（MP）或蕴涵消去规则（?-） P?Q P Q P?Q?P?Q 如果这一地区的阳光充足，那么植被就好。 这一地区的阳光的确充足。 所以，这一地区的植被好。 注意：P、Q即可是命题变元，也可使简单命题，还可以是复合命题。 （A?B）?（B?C） A?B B?C 推理规则2：否定后件（MT）或蕴涵否后规则 根据重演蕴涵式（A?B）??B??A，我们得到否定后件规则： P?Q ?Q ?P 如果这一地区的阳光充足，那么植被好。 这一地区的植被不好。 所以，这一地区的阳光不充足。 （A?B）?C ?C ?（A?B） 推理规则3：析取否定或析取消去（??）规则 P?Q ?P Q 王芳或者是公务员或者是教师。 王芳不是公务员。 所以，王芳是教师。 推理规则4：合取化简或合取消去规则（??） P?Q P 袁媛有一本美学书和一本逻辑书。 所以，袁媛有一本美学书。 推理规则5：合取引入规则（?+） P Q P?Q 袁媛有一本美学书。 袁媛有一本逻辑学书。 所以，袁媛有一本美学书和一本逻辑学书。 推理规则6：析取引入规则（?+）（附加律） P P?Q 袁媛有一本美学书。 袁媛有一本美学书或逻辑学书。 推理规则7：假言连锁（HS）假言三段论 P?Q Q?R P?R 如果我志存高远，就刻苦学习。 如果我刻苦学习，就一定能考上研究生。 所以，如果我志存高远，就一定能考上研究生。 推理规则8：二难推理（CD）假言选言推理 P?Q R?S P?R Q?S 如果我读博士研究生，我将成为学者。 如果我当教师，我将成为人类灵魂的工程师。 我或者读博士研究生或者当教师 所以，我或者成为学者或者成为人类灵魂工程师。 推理规则9：归谬推理 根据重言蕴涵式（A?B??B）??A，我们得到归谬推理规则：从A?B??B可以推得?A。也就是： P?（Q??Q） ?P 如果曹雪芹登上了月球，那么地球不是圆的并且地球是圆的。 所以，曹雪芹没有登上月球。 推理规则10：破坏式二难推理（DD） P?R Q?S ?R??S ?P??Q 如果他有容人之量，他就能团结人。 如果他有感恩之心，他就懂得回报。 或者他不能团结人或者他不懂得回报。 所以，他或者没有容人之量或者没有感恩之心。 整推规则小结： 上述10条推理规则，构成了本自然演绎系统的推演基本依据。在应用时，我们强调：以上10条规则不论哪一条都必须应用于整个命题，而不能应用于命题的某一个部分；或者说，这10条规则必须应用于主联结词，而不能应用于非主联结词。正因为如此，这10条推理规则也被称之为“整推规则”。 （1）如果小张参加长跑比赛，那么小林参加短跑比赛。 （2）如果小汪参加跳远比赛，那么小莫参加跳高比赛。 （3）如果小林参加短跑比赛，或者小莫参加跳高比赛，那么A班比赛得分将提高。