第3章1命题逻辑课件

第三章第三章 命题逻辑命题逻辑第三章命题逻辑1 1一、命题一、命题（一）命题及其逻辑特征（一）命题及其逻辑特征命题就是语句表达的思想。命题就是语句表达的思想。命题的逻辑特征是有真假命题的逻辑特征是有真假 第一节 命题逻辑概述一、命题命题就是语句表达的思想。第一2 2（二）命题与语句（二）命题与语句命题与语句的联系主要表现在：命命题与语句的联系主要表现在：命题是语句的思想内容，语句是命题题是语句的思想内容，语句是命题的表现形式。的表现形式。l二者的区别主要表现在：二者的区别主要表现在：（二）命题与语句3 3其一，不是所有的语句都表达命题。其一，不是所有的语句都表达命题。按使用目的可分为陈述句、疑问句、祈使句和感叹句。陈述句对某一对象或事态有所“陈述”、“描述”，有真假，所以直接表达命题。其一，不是所有的语句都表达命题。按使用目的可分为陈述句、疑问4 4非陈述句，主要功能不是陈述或反映非陈述句，主要功能不是陈述或反映某一对象情况，而只是提出问题、发某一对象情况，而只是提出问题、发出命令或请求、抒发感情，没有真假出命令或请求、抒发感情，没有真假问题问题。并不直接表达命题并不直接表达命题。“什么是哲学什么是哲学”就表示了一种疑问，就表示了一种疑问，并不能表达命题。并不能表达命题。非陈述句，主要功能不是陈述或反映某一对象情况，而只是提出问题5 5其二，同一个命题可以由不同的语其二，同一个命题可以由不同的语句来表达。句来表达。l l“这里好不热闹这里好不热闹”与与“这里好热闹这里好热闹”。l“这件事在我来北京之前就已经听这件事在我来北京之前就已经听说了说了”与与“这件事在我没有来北京这件事在我没有来北京之前就已经听说了之前就已经听说了”。其二，同一个命题可以由不同的语句来表达。6 6l选择恰当语句选择恰当语句与与语境、语境、使用习惯使用习惯有关。有关。一句话百样说，说与说不一样一句话百样说，说与说不一样“不好了不好了”与与“好了好了”。选择恰当语句与语境、使用习惯有关。7 7其三，同一个语句在不同的情况下其三，同一个语句在不同的情况下可以表达不同的命题。可以表达不同的命题。l多义句。多义句。l说者无意，听者有心。说者无意，听者有心。l1979年公布的年公布的中华人民共和国中华人民共和国刑法刑法第八条是：第八条是：l“享有外交特权和外交豁免权的外享有外交特权和外交豁免权的外国人的刑事责任问题，通过外交途国人的刑事责任问题，通过外交途径解决。径解决。”其三，同一个语句在不同的情况下可以表达不同的命题。多义句。8 81、有人认为，、有人认为，“和和”表示选择性：表示选择性：“一个外国人，只要享有外交特权和外一个外国人，只要享有外交特权和外交豁免权的其中一种，其刑事责任问交豁免权的其中一种，其刑事责任问题就可以通过外交途径解决。题就可以通过外交途径解决。”2、有人认为有人认为“和和”只能表示并存：只能表示并存：“享有外交特权的外国人的刑事责任享有外交特权的外国人的刑事责任问题通过外交途径解决；并且，享有问题通过外交途径解决；并且，享有外交豁免权的外国人的刑事责任问题外交豁免权的外国人的刑事责任问题通过外交途径解决。通过外交途径解决。”两种解释基本意思一样的。两种解释基本意思一样的。1、有人认为，“和”表示选择性：“一个外国人，只要享有外交特9 93、“和和”表示事物情况的并存，表示事物情况的并存，因此也不排除这句话还表达：因此也不排除这句话还表达：“既既享有外交特权又享有外交豁免权的享有外交特权又享有外交豁免权的外国人的刑事责任问题，通过外交外国人的刑事责任问题，通过外交途径解决。途径解决。”1010同一个语句表达不同命题的情况同一个语句表达不同命题的情况l多义词造成多义句多义词造成多义句l句子结构切分造成多义句句子结构切分造成多义句l索引词造成指代不明索引词造成指代不明l语义笼统造成指代不明语义笼统造成指代不明l语境中的多义造成歧义语境中的多义造成歧义同一个语句表达不同命题的情况多义词造成多义句1111思考：造成这种情况的原因是什么思考：造成这种情况的原因是什么？l他背着总经理和副总经理偷偷地把这他背着总经理和副总经理偷偷地把这笔钱分别存入了两家银行。笔钱分别存入了两家银行。l他这个人谁都认识。他这个人谁都认识。l四个工厂的代表到齐了四个工厂的代表到齐了思考：造成这种情况的原因是什么？他背着总经理和副总经理偷偷地1212歧义的消解l接在“我们要学习文件”后面能消除歧义的一项是lA.请做好准备。B.请把电视机关上。请把电视机关上。lC.小说不要带来。D.请你告诉小王。歧义的消解接在“我们要学习文件”后面能消除歧义的一项是1313l l“学习文件”既可理解为动宾结构，也可理解为名词短语学习用的文件。消除歧义的基本做法就是增设语境。l如果把A、C、D这三项接上去，原句仍存在两种解释；l若把B项接上去，其意思只能是“我们要开始学习文件了，请把电视机关上”。l答案：B“学习文件”既可理解为动宾结构，也可理解为名词短语学习用的1414（三）、命题形式（三）、命题形式l任何命题都有内容和形式两个方面。任何命题都有内容和形式两个方面。（1 1）、）、如果没有付出，那么就不会有如果没有付出，那么就不会有收获；收获；（2 2）、）、如果某人患了肺炎，那么他就如果某人患了肺炎，那么他就会发高烧。会发高烧。l内容不同内容不同,形式相同：如果形式相同：如果p p，那么，那么q ql可以符号化为：可以符号化为：p pq q（三）、命题形式任何命题都有内容和形式两个方面。1515（四）命题的种类（四）命题的种类简单命题与复合命题。简单命题与复合命题。简单命题自身不再包含其他命题。简单命题自身不再包含其他命题。所有事物都是运动的。所有事物都是运动的。复合命题自身包含有其他命题的命题。复合命题自身包含有其他命题的命题。只有认识错误，才能改正错误。只有认识错误，才能改正错误。（四）命题的种类1616结构上，复合命题由支命题通过联结结构上，复合命题由支命题通过联结词形成；复合命题的逻辑性质由其联词形成；复合命题的逻辑性质由其联结词决定。结词决定。根据不同联结词，复合命题分：根据不同联结词，复合命题分：联言命题、选言命题、假言命题与负联言命题、选言命题、假言命题与负命题。命题。结构上，复合命题由支命题通过联结词形成；复合命题的逻辑性质由1717二、推理二、推理（一）推理构成（一）推理构成推理是从已知命题得出新命题，已知推理是从已知命题得出新命题，已知命题是前提，推出命题是结论。命题是前提，推出命题是结论。语语词词标标识识：“因因为为”、“由由于于，以以至至”、“，所以所以”等。等。二、推理1818（二）推理的种类（二）推理的种类演绎推理与归纳推理。演绎推理与归纳推理。演绎推理由一般性推出特殊性：演绎推理由一般性推出特殊性：只有年满只有年满1818岁，才有选举权，岁，才有选举权，小张没有满小张没有满1818岁，岁，所以，小张没有选举权。所以，小张没有选举权。（二）推理的种类1919归纳推理由特殊推出一般：归纳推理由特殊推出一般：金是导电的，金是导电的，银是导电的，银是导电的，铜是导电的，铜是导电的，金、银、铜等都是金属，金、银、铜等都是金属，所以，所有金属都是导电的。所以，所有金属都是导电的。归纳推理由特殊推出一般：2020演绎推理与归纳推理的另一种表演绎推理与归纳推理的另一种表述是：述是：演绎推理是必然性推理，演绎推理是必然性推理，归纳推理是或然性推理。归纳推理是或然性推理。演绎推理与归纳推理的另一种表述是：2121（三）演绎推理的有效性与可靠性（三）演绎推理的有效性与可靠性演演绎绎推推理理的的有有效效性性指指推推理理形形式式的的正正确确性性，与与前前提提或或结结论论本本身身的的真真假假无无关关：有效性保证前提真，结论一定真；有效性保证前提真，结论一定真；可可靠靠性性则则不不仅仅要要求求形形式式有有效效，而而且且要要求前提真。求前提真。（三）演绎推理的有效性与可靠性2222 所有的金属都是导电的，所有的金属都是导电的，铁是金属，铁是金属，所以，铁是导电的。所以，铁是导电的。这个推理有效，也可靠。这个推理有效，也可靠。所有的金属都是导电的，2323所有的金属都不是导电的，所有的金属都不是导电的，铁是金属，铁是金属，所以，铁是不导电的所以，铁是不导电的.推理有效，不可靠。大前提不真，推理有效，不可靠。大前提不真，结论也是假的。结论也是假的。所有的金属都不是导电的，2424第二节第二节 复合命题及其推理复合命题及其推理一、复合命题一、复合命题（一）联言命题。（一）联言命题。联联言言命命题题是是同同时时反反映映若若干干事事物物情情况况的命题。的命题。25251 1、我我们们不不仅仅要要破破坏坏一一个个旧旧世世界界，而而且且要要建设一个新世界。建设一个新世界。（表示两种共同的决心）（表示两种共同的决心）2 2、王医生医术高并且医德好。、王医生医术高并且医德好。（表示两种共同的事态）（表示两种共同的事态）3 3、小小刘刘虽虽不不是是外外语语专专业业毕毕业业，但但他他既既会会英语，也会俄语。英语，也会俄语。（分层表示三种共同的事态）（分层表示三种共同的事态）支命题叫联言支。支命题叫联言支。1、我们不仅要破坏一个旧世界，而且要建设一个新世界。2626联言命题形式：p并且q（或pq）联言支可以不止一个中国地大、物博、人口多、生产力发达。中国地大、物博、人口多、生产力发达。假命题每个联言支都真，联言命题才真中国地大、物博、人口多、生产力发达。假命题每个联言支都真，2727数数理理逻逻辑辑用用真真值值表表表表示示联联言言支支与与联联言言命命题题真假之间的关系真假之间的关系：（见教材第（见教材第33页）页）日日常常语语言言中中使使用用联联言言命命题题不不仅仅要要注注意意真真值关系。请看：值关系。请看：数理逻辑用真值表表示联言支与联言命题真假之间的关系：2828（1）“屡战屡败屡战屡败”“屡败屡战屡败屡战”（2）、某甲结了婚并且生了孩子；）、某甲结了婚并且生了孩子；某甲生了孩子并且结了婚。某甲生了孩子并且结了婚。（3）、查）、查 无无 实实 据据，事事 出出 有有 因因。事事 出出 有有 因，查无因，查无 实实 据据。（1）“屡战屡败”“屡败屡战”（2）、某甲结了婚并且生了孩2929“我们纪念伟大的辛亥革命，就是要激我们纪念伟大的辛亥革命，就是要激励全体中华儿女，继承和发扬辛亥革命励全体中华儿女，继承和发扬辛亥革命精神，努力营造爱国、统一、团结、奋精神，努力营造爱国、统一、团结、奋进的良好气氛，为推进中华民族的伟大进的良好气氛，为推进中华民族的伟大复兴，促进祖国统一努力奋斗。复兴，促进祖国统一努力奋斗。”联言支的顺序问题联言支的顺序问题“我们纪念伟大的辛亥革命，就是要激励全体中华儿女，继承和发扬3030（二）假言命题（二）假言命题（1 1）构成及种类）构成及种类假假言言命命题题是是反反映映事事物物之之间间条条件件关关系系的的命命题题。也叫条件命题。也叫条件命题。1 1、如果寒潮到来，气温就会下降。、如果寒潮到来，气温就会下降。2 2、只有各门成绩合格，才准予毕业、只有各门成绩合格，才准予毕业。（二）假言命题3131表示条件的叫前件，表示结果的叫后件。表示条件的叫前件，表示结果的叫后件。充分条件假言命题充分条件假言命题 必要条件假言命题必要条件假言命题 充要条件假言命题充要条件假言命题 表示条件的叫前件，表示结果的叫后件。3232（2）充分条件假言命题充分条件假言命题 前件是后件充分条件的假言命题是充前件是后件充分条件的假言命题是充分条件假言命题。分条件假言命题。l充分条件：有前件，必有后件；没充分条件：有前件，必有后件；没前件，不见得没后件。前件，不见得没后件。l“有之必然，无之未必不然有之必然，无之未必不然”。（2）充分条件假言命题前件是后件充分条件的假言命题是充分3333l形式：如果形式：如果p，那么，那么ql引入数理逻辑蕴涵符号引入数理逻辑蕴涵符号“”，进一步用符号表示为：进一步用符号表示为：l pq（读作：（读作：“p蕴涵蕴涵q”。）。）l数理逻辑数理逻辑的蕴涵是实质蕴涵。的蕴涵是实质蕴涵。l普通逻辑的蕴涵是条件蕴涵。普通逻辑的蕴涵是条件蕴涵。形式：如果p，那么q3434l“如果他是作案人，则他一定有作案时间如果他是作案人，则他一定有作案时间”真，不排除下面三种情况：真，不排除下面三种情况：l他是作案人，且他有作案时间；他是作案人，且他有作案时间；l他不是作案人，且他没有作案时间；他不是作案人，且他没有作案时间；l他不是作案人，且他有作案时间。他不是作案人，且他有作案时间。所要排除的是：所要排除的是：l“他是作案人，并且他没有作案时间他是作案人，并且他没有作案时间”。“如果他是作案人，则他一定有作案时间”真，不排除下面三种情况3535PqPq3636数理逻辑认为以上命题数理逻辑认为以上命题只有在一种情只有在一种情况下是假的：况下是假的：“他是作案人，并且他他是作案人，并且他没有作案没有作案时时间间”。l一个真的一个真的充分充分条件假言命题所要排条件假言命题所要排除的是前件真而后件假的情况除的是前件真而后件假的情况 数理逻辑数理逻辑用真值表表示：用真值表表示：（见教材第（见教材第35页）页）数理逻辑认为以上命题只有在一种情况下是假的：“他是作案人，3737pqpq真真真真假假假真真假假真pqpq3838（3 3）必要条件假言命题）必要条件假言命题 反映前件是后件的必要条件的假反映前件是后件的必要条件的假言命题就是必要条件假言命题言命题就是必要条件假言命题。l必要条件：没有前件，必没有后件；必要条件：没有前件，必没有后件；有了前件，不见得一定会有后件。有了前件，不见得一定会有后件。l“无之必不然，有之未必然无之必不然，有之未必然”。（3）必要条件假言命题反映前件是后件的必3939l形式：只有形式：只有p，才，才q l也可以用数理逻辑中的蕴涵符号也可以用数理逻辑中的蕴涵符号“”来表示来表示l pq（即：（即：“如果非如果非p则非则非q”。数理逻辑的读法是：数理逻辑的读法是：“p蕴涵蕴涵 q”）形式：只有p，才q4040“只有他有作案时间，他才是作案人只有他有作案时间，他才是作案人”真，真，不排除下面三种情况：不排除下面三种情况：他有作案时间，且他是作案人；他有作案时间，且他是作案人；他没作案时间，且他也不是作案人；他没作案时间，且他也不是作案人；他有作案时间，且他不是作案人。他有作案时间，且他不是作案人。排除的是：排除的是：他没有作案时间，他是作案人。他没有作案时间，他是作案人。“只有他有作案时间，他才是作案人”真，不排除下面三种情况：4141首首 届届 国国 际际 华华 语语 大大 专专 辩辩 论论 会辩会辩 题题 温温 饱饱 是是 谈谈 道道 德德 的必的必 要要 条条 件件。辩题来看，辩题来看，“温饱温饱”和和“谈道德谈道德”之间构成的应该是之间构成的应该是“pq”“只有温只有温 饱饱，谈，谈 道道 德德”反方只要能指出一例前假而后真的反方只要能指出一例前假而后真的情况，就能达到反驳辩题的目的。情况，就能达到反驳辩题的目的。首届国际华语大专辩论会辩题温饱4242复旦队的一复旦队的一 辩辩 说说：“古往今来，没有解决衣食之困的古往今来，没有解决衣食之困的社会比比皆是，社会比比皆是，都都 不不 谈谈 道道 德德 了吗了吗？今今 天天，在在 衣衣 不不 蔽蔽 体体、食食 不不 果果 腹腹 的的 索索 马马 里里 就就 不不 要要 谈道谈道 德德 了吗了吗 从从 个个 人人 看看，有，有 衣衣 食食 之之 困困 但但 仍仍 坚坚 持持 其其 品品 德德 修修 养养 的的 例例 子子，实，实 在在 是是 不不 胜胜 枚枚 举举 ”在用没有前件也有后件的情况说明辩在用没有前件也有后件的情况说明辩题作为必要条件命题不能成立。题作为必要条件命题不能成立。复旦队的一辩说：4343第3章1命题逻辑课件4444l数理逻辑认为以上命题数理逻辑认为以上命题只有在一种只有在一种情况下是假的：情况下是假的：“他没有作案时间，他没有作案时间，但他是作案人但他是作案人”。l一个真的必要条件假言命题所要排一个真的必要条件假言命题所要排除的是前件假而后件真的情况除的是前件假而后件真的情况 数理逻辑由此抽象出数理逻辑由此抽象出必要必要条件假言条件假言命题命题的真值关系并用真值表表示：的真值关系并用真值表表示：（见教材第（见教材第36页页）数理逻辑认为以上命题只有在一种情况下是假的：“他没有作案时间4545pqpq(p q)真真真真假真假真假假假真pqpq(p4646（4 4）充分必要条件假言命题。）充分必要条件假言命题。充分必要条件假言命题就是反映前件充分必要条件假言命题就是反映前件是后件的充分必要条件的假言命题。是后件的充分必要条件的假言命题。l充分必要条件：有了前件，必然会充分必要条件：有了前件，必然会有后件；没有前件，一定没有后件。有后件；没有前件，一定没有后件。l“有之必然，无之必不然有之必然，无之必不然”。（4）充分必要条件假言命题。充分必要条件假言命题就是反映4747l形式：形式：p当且仅当当且仅当ql引入数理逻辑中的等值符号引入数理逻辑中的等值符号“”进一进一步用符号表示为：步用符号表示为：l p ql（数理逻辑读作：（数理逻辑读作：“p等值于等值于q”。）。）形式：p当且仅当q4848l“当且仅当社会出现了阶级，国家才当且仅当社会出现了阶级，国家才会产生会产生”真，不排除下面两种情况：真，不排除下面两种情况：l社会出现了阶级，国家产生了；社会出现了阶级，国家产生了；l 社会没有出现阶级，国家没有产生。社会没有出现阶级，国家没有产生。l要排除的是如下两种情况：要排除的是如下两种情况：l 社会出现了阶级，国家不会产生；社会出现了阶级，国家不会产生；l 社会没有出现阶级，国家却产生。社会没有出现阶级，国家却产生。“当且仅当社会出现了阶级，国家才会产生”真，不排除下面两种4949数数理理逻逻辑辑认认为为，充充分分必必要要条条件件假假言言命命题题的的前前件件与与后后件件都都为为真真或或都都为为假假时时，该该充充分分必必要要条条件件假假言言命命题题为为真真，当当其其前前件件为为真真而而后后件件为为假假或或前前件件为为假假后后件件为为真真时时，该该充充分分必必要要条条件件假假言言命命题题为为假假。由由此此抽抽象象出出必必要要条条件件假假言言命命题题的的真值关系并用真值表表示：真值关系并用真值表表示：（见教材第（见教材第37页页）数理逻辑认为，充分必要条件假言命题的前件与后件都为真或都为假5050pqpq真真真真假假假真假假假真pqpq5151l充要条件假言命题有时也用一个充充要条件假言命题有时也用一个充分条件假言命题和一个必要条件假分条件假言命题和一个必要条件假言命题并于一起表达。例如：言命题并于一起表达。例如：l“人不犯我，我不犯人；人若犯我，人不犯我，我不犯人；人若犯我，我必犯人我必犯人”就是一个充要条件假言就是一个充要条件假言命题。其表达形式是：命题。其表达形式是：l（pq）（pq）充要条件假言命题有时也用一个充分条件假言命题和一个必要条件假5252（三）选言命题（三）选言命题（1 1）构成及种类）构成及种类选选言言命命题题是是反反映映几几种种事事物物情情况况中中至至少少有一种为真的命题。有一种为真的命题。由支命题与选言联结词组成由支命题与选言联结词组成 支命题叫选言支。至少有两个。支命题叫选言支。至少有两个。（三）选言命题5353相容的相容的p或者或者q 明天或者刮风或者下雨明天或者刮风或者下雨 不相容的不相容的要么要么p要么要么q 某事要么是张三要么是李四干的；某事要么是张三要么是李四干的；相容的p或者q5454（2 2）相容选言命题）相容选言命题选言支可同真。表现的的语词有：选言支可同真。表现的的语词有：“或或者者或或者者”、“也也许许，也许，也许”、“可能可能，可能，可能”等等。等等。1 1、小小明明这这次次考考试试失失利利，或或因因其其身身体体有有病，或因其学习不刻苦。病，或因其学习不刻苦。2 2、胜者或因其强，或因其指挥无误。、胜者或因其强，或因其指挥无误。（2）相容选言命题5555相容选言命题的一般形式为：相容选言命题的一般形式为：或者或者p p，或者或者q q进一步可符号化为：进一步可符号化为：p pq q表表示示相相容容选选言言命命题题与与其其选选言言支支之之间间真真假的关系的真值表：假的关系的真值表：（见教材第（见教材第38页）页）相容选言命题的一般形式为：5656pqpq真真真真假真假真真假假假pqpq5757（3 3）不相容选言命题）不相容选言命题选言支不可同真。表现的语词有：选言支不可同真。表现的语词有：“要么要么，要么，要么”、“不是不是，就是，就是”等等。等等。1 1、今今天天不不是是星星期期六六，就就是是星星期期天天。2 2、一一个个三三角角形形要要么么是是直直角角三三角角形形，要要么么是是锐角三角形，要么是钝角三角形。锐角三角形，要么是钝角三角形。（3）不相容选言命题5858三三国国演演义义中中，孙孙权权在在曹曹操操八八十十万万大大军军逼逼来来之之时时，面面对对当当时时东东吴吴内内部部主主战战和和主主和和两两种种意意见见，就就在在下下面面这样的命题面前犹豫过：这样的命题面前犹豫过：要么降曹，要么抗曹。要么降曹，要么抗曹。三国演义中，孙权在曹操八十万大军逼来之时，面对当时东吴内5959 不相容选言命题的一般形式为：不相容选言命题的一般形式为：要么要么p，要么要么q普通逻辑符号化为：普通逻辑符号化为：p pq q数理逻辑没有专用符号，其表达是：数理逻辑没有专用符号，其表达是：(p q)(p q)表表示示不不相相容容选选言言命命题题的的真真假假与与其其选选言言支的真假之间的关系的真值表：支的真假之间的关系的真值表：（见教材第（见教材第39页）页）不相容选言命题的一般形式为：6060pqpq真真假真假真假真真假假假pqpq6161（四）负命题（四）负命题负命题是否定某一个命题的命题。负命题是否定某一个命题的命题。1 1、并非所有的人都是善良的。、并非所有的人都是善良的。2 2、并非只要患感冒，就会发高烧。、并非只要患感冒，就会发高烧。（四）负命题6262并非所有的中国共产党党员都是工人并非所有的中国共产党党员都是工人阶级出身的；阶级出身的；“凡是毛主席的指示我们都始终不渝凡是毛主席的指示我们都始终不渝地遵循地遵循”是错误的；是错误的；并非所有被判刑的人都是罪犯并非所有被判刑的人都是罪犯 链接链接并非所有的中国共产党党员都是工人阶级出身的；63632005年年1月月18日日，河河南南警警方方抓抓获获一一名名叫叫王王书书金金的的男男子子，该该男男交交代代曾曾在在河河北北广广平平等等地地奸奸杀杀4名名妇妇女女，当当警警方方将将其其押押到到现现场场指指认认时时，却却从从受受害害者者同同事事得得知知，此此案案当当年年早早被被当当地地警警方方“侦侦破破”，“强强奸奸杀杀人人犯犯”聂聂树树斌斌10年前已被执行死刑，时年仅年前已被执行死刑，时年仅21岁。岁。并非如果有作案时间就一定是罪犯。并非如果有作案时间就一定是罪犯。2005年1月18日，河南警方抓获一名叫王书金的男子，该男交6464负命题的一般形式：负命题的一般形式：并非并非p p用用符符号号“”表表示示负负命命题题的的联联结结词词“并非并非”，负命题可以符号化为：，负命题可以符号化为：p p负命题的一般形式：6565负命题真值表：负命题真值表：（见教材第（见教材第40页）页）p p真假假真负命题真值表：（见教材第40页）p6666二二、重言式及其判定、重言式及其判定（一）真值联结词、真值形式复合命题形式在数理逻辑中叫真值形式。表示关系的联结词叫真值联结词。真值联结词是日常语言联结词在真假关系上的一种抽象。二、重言式及其判定（一）真值联结词、真值形式复合命题67真值联结词有五个：否定真值联结词有五个：否定 、合取合取、析取、析取、蕴涵、蕴涵、等值等值。真值形式就是真值真值形式就是真值联结词与命题变项所构成的形联结词与命题变项所构成的形式结构。命题变项是组成复合式结构。命题变项是组成复合命题的原子命题命题的原子命题,用字母用字母p、q、r、s表示。表示。真值联结词有五个：否定、合取、析取、蕴涵、等68五种基本的真值形式：五种基本的真值形式：合取式：合取式：p pq q析取式：析取式：p pq q蕴涵式：蕴涵式：p pq q等值式：等值式：p pq q否定式：否定式：p p五种基本形式可生成更复杂的形式，五种基本形式可生成更复杂的形式，1 1、（、（pqpq）（pp q q）p p；2 2、（、（pqpq）（rsrs）（prpr）（qsqs）五种基本的真值形式：合取式：pq析取式：pq蕴涵式69真值形式最外层的括号根据五个联结词的结合力可以省略，结合力按照下列顺序递减：、(pq)r)(ps)可以省略为：pqr ps真值形式最外层的括号根据五个联结词的结合力可以省略，结合力按70（二）真值函项复合命题真假与其支命题真假之间的关系与数学中的函数类似。在数学中，函数是用下面的公式表示的：y=f（x）其中，x是自变元，y是函数的值，f是函数关系。例如：y=x2（二）真值函项复合命题真假与其支命题真假之间的关系与数学中71数理逻辑引入函数原理来说明复合命题与其支命题之间的真假关系，它把这种关系当作一种函项关系，把这种函数叫做真值函项。真值函项的值不是数，而是真值。数理逻辑引入函数原理来说明复合命题与其支命题之间的真假关系，72数学中同一个函数可以有不同的表现形式，例如：y=2x2+x，y=x（2x+1）同样，数理逻辑中，同一个真值函项也可以有不同的真值形式，例如：pq，（pq）数学中同一个函数可以有不同的表现形式，例如：y=2x2+x73真值形式的数目是无穷的，但是在命题变项的数目给定之后，真值函项的数目也就确定了。n个命题变项的真假组合会有多少个真值函项？真值形式的数目是无穷的，但是在命题变项的数目给定之后，真值函74当n=1时，只有一个命题变项p，而p本身有真或假两种取值，当p取真时，对应的真值函项有真或假两种可能，当p取假时，对应的真值函项也有真或假两种可能。因此，一个命题变项对应的真值函项有四种。当n=1时，只有一个命题变项p，而p本身有真或假两种取值，当75当当n=2时，命题变项时，命题变项p和和q取值：取值：p真时，对应真时，对应q有真假两种可能；有真假两种可能；p假时，假时，q也有真假两种可能；、也有真假两种可能；、两个命题变项有四种真假取值。两个命题变项有四种真假取值。对于对于p和和q的四种取值，其真值函的四种取值，其真值函项真假取值情况项真假取值情况共有共有1616种。种。当n=2时，命题变项p和q取值：p真时，对应q有真假两种可76两个命题变项有四种真假取值两个命题变项有四种真假取值为：p q T T T F F T F F两个命题变项有四种真假取值为：pq77三、复合命题的负命题及其等值命题三、复合命题的负命题及其等值命题（1 1）、联言命题的）、联言命题的（p pq q）（p p q q）“某物并非价廉物美某物并非价廉物美”等值于等值于“某物或者不是价廉或者不是物美某物或者不是价廉或者不是物美”三、复合命题的负命题及其等值命题7878（2 2）、）、相容选言命题的相容选言命题的（p pq q）（p p q q）（1)1)、“并并非非明明天天或或者者刮刮风风或或者者下下雨雨”等值于等值于“明天既不刮明天既不刮风，也不下雨，也不下雨”。（2）、相容选言命题的7979（3 3）、）、不相容选言命题的不相容选言命题的 (p(pq q）（p pq q p p q q）“并并非非明明天天要要么么刮刮风风，要要么么下下雨雨”等值于等值于“明天或者既不刮风，也不下雨，明天或者既不刮风，也不下雨，或者既刮风，也下雨或者既刮风，也下雨”。（3）、不相容选言命题的8080（4 4）、）、充分条件假言命题的充分条件假言命题的（p pq q）（p p q q）按按照照实质蕴涵涵观点点，并并非非“如如果果某某甲甲有有作作案案时间，那那么么他他就就是是凶凶手手”等等值值于于“某某甲甲有有作作案案时间但但他他并并不不是凶手是凶手”；（4）、充分条件假言命题的8181（5 5）、）、必要条件假言命题的必要条件假言命题的（p pq q）（p pq q）按按照照实质蕴涵涵观点点，并并非非“只只有有某某甲甲是是凶凶手手他他才才有有作作案案时时间间”等等值值于于“某某甲并不是凶手但他有作案时间甲并不是凶手但他有作案时间”（5）、必要条件假言命题的8282（6 6）、）、充要条件假言命题的充要条件假言命题的(p p）（p p q q）（p pq q）按按照照实质蕴涵涵观点点，并并非非“当当且且仅当当某某甲甲是是凶凶手手他他才才有有作作案案时间 ”等等值值于于“或或者者某某甲甲不不是是凶凶手手，但但他他有有作作案案时间，或或者者某某甲甲是是凶凶手手，但但他他没有作案没有作案时间”（6）、充要条件假言命题的8383（7 7）、）、负命题的负命题的（p p）p p并非并非“并非所有人都不是善良的并非所有人都不是善良的”等值等值于于“所有的人都是善良的所有的人都是善良的”并非并非“并非某物价廉物美并非某物价廉物美”等值于等值于“某物价廉物美某物价廉物美”（7）、负命题的8484 四、复合命题的推理根据复合命题的逻辑性质进行的推理。分联言推理、选言推理、假言推理等。(一)联言推理前提或结论是联言命题，根据联言命题的逻辑性质进行的推理。四、复合命题的推理8585组合式：前提是联言支，结论是联言命题。其形式为：p q所以，p并且q，鲁迅是文学家，鲁迅是革命家，所以，鲁迅文学家和革命家。组合式：8686在在数数理理逻逻辑辑自自然然推推理理系系统统中中，合合取取引引入入规规则则（）就就采采用用了了联联言言推推理理的的上上述述思想：思想：A A，B B A AB B 第第1条：条：合取引入规则（合取引入规则（）：）：在数理逻辑自然推理系统中，合取引入规则（）就采用了联言推87分解式：前提是联言命题，结论是联言支。其形式为：p并且q，所以，p（q）小王既会唱歌又会跳舞，所以，小王会跳舞。分解式：8888（4 4）：合合取取消消除除规规则则就就采采用用了了联联言言推推理的上述思想：理的上述思想：A AB AB AB B A A B B第2条：合取消除规则（合取消除规则（-）一个有效的演绎推理可以用一个蕴涵式表示，其前件是推理的前提，后件是结论，而前提与前提之间是合取关系。（4）：合取消除规则就采用了联言推理的上述思想：89自然推理系统证明（自然推理系统证明（pq）p证明：证明：1 1、p pq q （P P）2 2、p p （-）3 3、（pq）p （1 1、2 2）其中涉及规则说明：其中涉及规则说明：第第3条条：假假设设前前提提引引入入规规则则（P）：可可按按推推演演需要随时引入一个假设前提。需要随时引入一个假设前提。2第第4条条：蕴蕴涵涵引引入入规规则则（）：在在一一个个前前提提集集合合P的的基基础础上上加加进进一一个个假假设设A而而推推出出B，那么那么AB可以消除假设可以消除假设自然推理系统证明（pq）p90（二）选言推理分为相容与不相容两种选言推理（1）相容选言推理根据相容选言命题的逻辑性质推出结论。（二）选言推理9191l某起盗窃案作案者或者是张三，或某起盗窃案作案者或者是张三，或者是李四，张三没有作案，由此某者是李四，张三没有作案，由此某起盗窃案的作案者是李四。起盗窃案的作案者是李四。l或者p，或者ql非p；l所以q。某起盗窃案作案者或者是张三，或者是李四，张三没有作案，由此某9292l规则：l（1）、否定一部分选言支就要肯定另外一部分选言支；l（2）、肯定一部分选言支却不能否定另外一部分选言支。l有效形式：否定肯定式。规则：9393相容选言推理有效式符号化为：（pq）p）q（pq）q）p这就是数理逻辑重言式。相容选言推理有效式符号化为：9494命题逻辑中有效的推理在形式命题逻辑中有效的推理在形式上都是重言式。要判定一个复上都是重言式。要判定一个复合命题推理是否有效，其实质合命题推理是否有效，其实质也就是判定反映该推理的公式也就是判定反映该推理的公式是否为重言式。是否为重言式。有三有三种判定重言式的方法：真种判定重言式的方法：真值表法值表法归谬赋值法。归谬赋值法。系统证明系统证明命题逻辑中有效的推理在形式上都是重言式。要判定一个复合命题推95命题逻辑的公理系统命题逻辑的公理系统命题演算是命题逻辑的形式系统。命题演算是命题逻辑的形式系统。形式系统是指用人工语言表示的系统。形式系统是指用人工语言表示的系统。形式系统形式系统只考虑符号与符号之间的关系。只考虑符号与符号之间的关系。一个形式系统通常包括形式语言与演绎系统。一个形式系统通常包括形式语言与演绎系统。形式语言：包括初始符号与形成规则形式语言：包括初始符号与形成规则 演绎系统：包括公理、推理规则与定理。演绎系统：包括公理、推理规则与定理。命题逻辑的公理系统96命题逻辑的自然推理系统自然推理系统没有公理，只有一组推理规则，它从假设前提出发进行推演，在推理过程中随时引入假设，并根据规则消去假设，最后获得被求证公式。命题逻辑的自然推理系统也有很多。命题逻辑的自然推理系统97定理：定理：（p q）p）q证明：证明：1 1、（pqpq）p p）（P P）2 2、（pq）（1-）3 3、p （2-）4 4、q q （2、3，-）5 5、（pq）p）q（1、4，）定理：（pq）p）q98（2）不相容选言推理根据不相容选言命题的逻辑性质推出结论。l规则：l（1）、肯定一部分选言支就要否定另外一部分选言支；l（2）、否定一部分选言支就要肯定另外一部分选言支。（2）不相容选言推理9999有效式：l l1、肯定肯定式：要么p，要么q；p；所以，非q。2、否定肯定式：要么p，要么q；非p；所以，q。有效式：100100小王不是广东人，就是广西人，小王不是广东人，就是广西人，小王不是（是）广西人，小王不是（是）广西人，所以，小王是（不是）广东人。所以，小王是（不是）广东人。小王不是广东人，就是广西人，101101（p pq q）q q ）p p（p pq q）p p ）q q（p pq q）q q ）p p（p pq q）p p ）q q要么要么p p，要么要么q q数理逻辑的表达是：数理逻辑的表达是：(p q)(p q)（pq）q）p（pq）p）q102102传统逻辑表达传统逻辑表达不相容选言推理：不相容选言推理：要么要么我去（p），要么，要么你来（q）我不去（p），所以，你来（q）数理逻辑表达数理逻辑表达不相容选言推理：不相容选言推理：（(pq)(pq)）p）q传统逻辑表达不相容选言推理：103103或者我不去（p）而你来（q），或者我去（p）而你不来（q），我不去（p）所以，你来（q）。就可靠性而言，否定肯定式必须注意选言支是否穷尽。遗漏了真实选言支，选言前提可能假。或者我不去（p）而你来（q），或者我去（p）而你不来（q104104（三）假言推理前提或结论为假言命题。分假言直言推理和纯假言推理两大类。（1）假言直言推理一个前提为假言命题，另一前提为直言命题，根据假言命题中条件关系推出结论。分充分、必要、充要三种。（三）假言推理105105A、充分条件假言推理如果张三是作案人，那么他一定有作案时间，张三是作案人，所以他一定有作案时间。如果张三是作案人，那么他一定有作案时间，张三没有作案时间，所以他一定不是作案人。A、充分条件假言推理如果张三是作案人，那么他一定有作106106l根据充分条件关系。推理规则是：根据充分条件关系。推理规则是：（1）、肯定前件进而就要肯定后）、肯定前件进而就要肯定后件，否定后件进而就要否定前件；件，否定后件进而就要否定前件；l（2）、否定前件不能进而否定后）、否定前件不能进而否定后件，肯定后件不能进而肯定前件。件，肯定后件不能进而肯定前件。第3章1命题逻辑课件107107有两种有效式：有两种有效式：肯定前件式：肯定前件式：如果如果p p，那么那么q q p p 所以，所以，q q符号化为：（符号化为：（p pq q）p p）q q有两种有效式：108108数数理理逻逻辑辑中中自自然然推推理理系系统统中中，蕴蕴涵涵消除规则（消除规则（）用了上述思想。）用了上述思想。A AB B A A B B也叫也叫“分离规则分离规则”。这是。这是第第5条。条。数理逻辑中自然推理系统中，蕴涵消除规则（）用了上述思想。109否定后件式：如果否定后件式：如果p p，那么那么q q 非非q q 所以，非所以，非p p符号化为：（符号化为：（p pq q）q q）p p否定后件式：如果p，那么q110110下面的充分条件假言推理是错误的：l如果贪污受贿，那么就不是一个好干部；l他又没有贪污受贿；l怎么能说他不是一个好干部呢？（即：他是一个好干部）下面的充分条件假言推理是错误的：111111B、必要条件假言推理例示只有年满18岁，才有选举权，王兰没满18岁，所以，王兰没有选举权。B、必要条件假言推理112112l根据必要条件关系，必要条件假言推理规则是：l（1）、否定前件进而就要否定后件，肯定后件进而就要肯定前件；l（2）、肯定前件不能进而肯定后件，否定后件不能进而否定前件。根据必要条件关系，必要条件假言推理规则是：113113有两种有效式：否定前件式：只有p，才能q 非p 所以，非q符号化为：（pq）p）q有两种有效式：114114肯定后件式：只有p，才能q q 所以，p 符号化为：（pq）q）p肯定后件式：只有p，才能q115115l错误的必要条件假言推理：l只有承认党的纲领和章程，才能加入党的组织；l某人没有加入党的组织；l所以，某人并不承认党的纲领和章程。第3章1命题逻辑课件116116C、充要条件假言推理l当且仅当国家消亡了，阶级才会消亡；l现在国家并没有消亡；l所以，阶级也没有消亡。C、充要条件假言推理117117有了前件，必然会有后件；没有前件，必然没有后件。万事俱备只欠东风东风东风也是充分必要条件有了前件，必然会有后件；没有前件，必然没有后件。万事俱备只118118l根据充要条件关系，规则是：（1）、肯定前件进而就要肯定后件，肯定后件进而就要肯定前件；l（2）、否定前件进而就要否定后件，否定后件进而就要否定前件。根据充要条件关系，规则是：（1）、肯定前件进而就要肯定后件，119119充要条件假言推理有四种有效式：肯定前件式（pq）p q否定前件式（pq）pq肯定后件式（pq）q p否定后件式（pq）qp充要条件假言推理有四种有效式：120120（2）纯假言推理）纯假言推理前提与结论均为假言命题的推理，前提与结论均为假言命题的推理，可分为假言联锁推理、假言易位推理等。可分为假言联锁推理、假言易位推理等。A、假言联锁推理假言联锁推理前前提提中中，前前一一个个假假言言命命题题的的后后件件和和后后一一个个假假言言命命题题的的前前件件相相同同。有有充充分分条条件件联联锁与必要条件联锁。锁与必要条件联锁。（2）纯假言推理121121充分条件假言联锁推理又有肯定式与否定式。肯定式：如果p，那么q，如果q，那么r，所以，如果p，那么r（pq）（qr）（pr）充分条件假言联锁推理又有肯定式与否定式。肯定式：122122如果任人唯亲，那么就不能保证干部队如果任人唯亲，那么就不能保证干部队伍的质量；伍的质量；如果不能保证干部队伍的质量，那么如果不能保证干部队伍的质量，那么干部队伍就有垮掉的可能；干部队伍就有垮掉的可能；所以，如果任人唯亲，那么干部队伍所以，如果任人唯亲，那么干部队伍就有垮掉的可能。就有垮掉的可能。如果任人唯亲，那么就不能保证干部队伍的质量；123123否定式：如果p，那么q，如果q，那么r，所以，如果非r，那么非p（pq）（qr）（rp）只要该物是金属，该物就会导电，只要该物导电，前面的显示灯就会亮，（？）所以，如果前面的显示灯不亮，那么该物就不是金属。否定式：如果p，那么q，如果q，那么r，所以，如果非r，那124124必要条件假言联锁推理也有否定式与肯定式两种。否定式只有p，才能q，只有q，才能r，所以，如果非p，那么非r（pq）（qr）（pr）（pq）（qr）（pr）必要条件假言联锁推理也有否定式与肯定式两种。125125只有解放思想，才能大胆开拓；只有解放思想，才能大胆开拓；只有大胆开拓，才能不断创新；只有大胆开拓，才能不断创新；所以，如果不解放思想，那么就所以，如果不解放思想，那么就不能不断创新。不能不断创新。只有解放思想，才能大胆开拓；126126肯定式：只有p，才能q，只有q，才能r，所以，只有p，才能r（pq）（qr）（pr）（pq）（q r）（pr）只有纪律严明，才能步调一致；只有步调一致，才能取得胜利；所以，如果要取得胜利，那么就要纪律严明。肯定式：127127B、假言易位推理假言易位推理是变换前提中假言命题前后件的位置。充分条件假言易位推理的形式为：如果p，那么q，所以，如果非q，那么非p。符号化为：（pq）（qp）如果是作案者，就要有作案时间，所以，如果没有作案时间，就不是作案者。B、假言易位推理128128必要条件假言易位推理的形式为：只有p，才能q，所以，如果q，那么p（pq）（qp）（pq）（qp）“只有刻苦学习，才能取得好的成绩，所以，如果要取得好的成绩，那么就要刻苦学习”。必要条件假言易位推理的形式为：129129（四）其他的推理（1）二难推理l二难推理属于假言选言推理，它的前提由两个充分条件假言命题和一个有两个选言支的选言命题构成。l得名由来：辩论中辩论的一方向对方提出两种可能，无论对方选择哪种，都会陷入两难。（四）其他的推理（1）二难推理二难推理属于假言选言推理，130130提出表示两种可能对方选择陷入进退两难或者p，或者q；如果p，那么r；如果q，那么r；总而言之，r。提出表示两种可能对方选择陷入进退两难或者p，或者q；131131A、简单构成式l如果p，那么r；l如果q，那么r；l或者p，或者q；l总而言之，r。l符号化为：l（p pr）（q qr r）（p pq q）r rA、简单构成式如果p，那么r；132132哲学史上有人反驳“上帝是万能的”l上帝能不能创造一块自己也举不起来的石头？l如果能，那么上帝不是万能的，因为如果能，那么上帝不是万能的，因为有一块石头它举不起来；有一块石头它举不起来；l 如果不能，那么上帝也不是万能的，如果不能，那么上帝也不是万能的，因为有一块石头它造不出来；因为有一块石头它造不出来；l或者承认上帝能，或者承认上帝不能；或者承认上帝能，或者承认上帝不能；l总之，上帝不是万能的总之，上帝不是万能的。哲学史上有人反驳“上帝是万能的”上帝能不能创造一块自己也举不133133法官问萨达姆：“你们是否认罪？”萨http:/达姆说：“我没有罪。”其他被告则回答“无罪”。法官问萨达姆：“你们是否认罪？”萨http:/news.q134134又又一一条条析析取取消消除除规规则则（）：设设C C为为求求证证的的公公式式，A AB B为为前前提提。假假如如能能从从A A可推出可推出C C，从从B B也能推出也能推出C C，则则C C得证：得证：A AB B A AC C B BC C C C又一条析取消除规则（）：设C为求证的公式，AB为前提。135定理：定理：（pr）（qr）（pq）r证明：证明：1、（pq）（qr）（pq）（P）2、p q （1）3、pr （1）4 qr （1）5、r （234）6、（、（pr）（qr）（pq）r （1，5）定理：（pr）（qr）（pq）r136法官的复杂语隐含二难推理或回答认罪，或回答不认罪如果回答认罪，则有罪；如果回答不认罪，也有罪总之，有罪。法官的复杂语隐含二难推理137137B、简单破坏式l如果p，那么q；l如果p，那么r；l或者非q，或者非r；l总而言之，非p。l符号化为：l（pq）（pr）（qr）pB、简单破坏式138138定定理理：（pq）（pr）(qr）p证明：证明：1、（pq）（pr）（qr）（P）2、q r （1）3、pq （1）4 pr （1）定理：（pq）（pr）(qr）p139C、复杂构成式：l如果p，那么q；l如果r，那么s；l或者p，或者r；l总而言之，或者q,或者s。l符号化为：l（pq）（rs）（pr）（qs）C、复杂构成式：如果p，那么q；140140复杂构成式举例l“前怕狼，后怕虎”就体现着复杂构成式二难推理：l如果前，则怕狼；l如果后，则怕虎；l或者前，或者后；l所以，或者怕狼，或者怕虎复杂构成式举例“前怕狼，后怕虎”就体现着复杂构成式二难推理：141141D、复杂破坏式：l如果p，那么q；l如果r，那么s；l或者非q，或者非s；l总而言之，或者非p,或者非rl符号化为：l（pq）（rs）（qs）（pr）l。D、复杂破坏式：如果p，那么q；142142破斥二难推理的三种方法l第一种，针对对方提出的二难推理构造一个相反的二难推理反难对方。l第二种，指出二难推理前提的虚假。第三种，提出第三种可能，打破“二难”，或者“两害相权，取其轻”。破斥二难推理的三种方法第一种，针对对方提出的二难推理构造一143143构造一个相反的二难推理举例“半费之讼”l l逻辑史上有个有名的“半费之讼”的故事，讲的是一个老师和跟他学法律的一个学生定下条约，学习期间先交一半学费，另一半学费等学生学成并且第一次出庭胜诉之后再交给老师。可是学生毕业之后一直没有不出庭辩论，因而也一直没有交另一半学费。老师认为学生是要赖掉那另一半学费，声言要去法庭告学生，并且对学生提出了下面的二难推理：l l 构造一个相反的二难推理举例“半费之讼”逻辑史上有个有名的“144144l如果我的官司打赢，那么按照法庭判决你必须交另一半学费；l 如果我的官司打输（即：你第一次出庭胜诉），那么按照我们的条约你必须交另一半学费；l 我的官司或者打赢，或者打输；l总而言之，你必须交另一半学费。学生当即构造了一个二难推理对老师提出反难：如果我的官司打赢，那么按照法庭判决你必须交另一半学费；145145如果我的官司打赢，那么按照法庭判决我不交另一半学费；如果我的官司打输（即：我第一次出庭并没有胜诉），那么按照我们的条约我也不交另一半学费；我的官司或者打赢，或者打输；总而言之，我都不交另一半学费。如果我的官司打赢，那么按照法庭判决我不交另一半学费；146146下面的例子也属于假言选言推理：2005年10月20日02:09新京报审判萨达姆的大幕已经拉开，但令特别法庭尴尬的是，他们还找不出各方都认可的法律条文来给萨达姆定罪。目前，特别法庭可以依据的法律主要来自：萨达姆执政期的法律，美国占领期布雷默签署的法令，国际法。下面的例子也属于假言选言推理：147147如果按萨达姆执政期的法律审理，即便萨达姆承认一切指控，也不必受到法律制裁，因为身为总统，他以国家名义发布的一切命令都受法律保护。布雷默签署的法令是外国占领者强加给伊拉克的，占领状态一结束（至少自美国宣布伊临时政府成立之日起，占领状态就结束了），这些法令的合法性也就失去了。如果按萨达姆执政期的法律审理，即便萨达姆承认一切指控，也不必148148依据国际法？这种可能性从美国决定把萨达姆交给伊特别法庭而不是国际法庭来审判时起就已被排除了。这次特别法庭起诉萨达姆的是预谋杀人、刑讯拷打、强制驱逐等刑事罪名，这表明美国和伊过渡政府意图回避国际法。这里出现了三个选言命题，三个假言命题应该是三难推理。假言选言推理的外延比二难推理大。依据国际法？这种可能性从美国决定把萨达姆交给伊特别法庭而不是149149l（2）假言联言推理l假言联言推理的前提是两个假言命题和一个联言命题，结论是一个联言命题。l形式：A、肯定式：l如果p，那么q；l如果r，那么s；lp并且r；l所以，q并且s。l符号化为：（pq）（rs）（qs）（pr）（2）假言联言推理150150B、否定式：如果p，那么q；如果r，那