逻辑学(北大精品课)课件.ppt

《逻辑学(北大精品课)课件.ppt》由会员分享，可在线阅读，更多相关《逻辑学(北大精品课)课件.ppt（471页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、主讲人：-进入-2022年4月27日星期三2 莎士比亚在莎士比亚在威尼斯商人威尼斯商人里说，有一位品貌出众的富家姑娘叫鲍西里说，有一位品貌出众的富家姑娘叫鲍西霞，许多王孙公子为之倾倒，但她遵循已故父亲的遗嘱，必须猜匣为婚。霞，许多王孙公子为之倾倒，但她遵循已故父亲的遗嘱，必须猜匣为婚。鲍西霞身边有金、银、铅三只匣子，其中只有一只匣子里放着她的肖像，鲍西霞身边有金、银、铅三只匣子，其中只有一只匣子里放着她的肖像，这三只匣上面各刻着一句话：这三只匣上面各刻着一句话： 金匣子上刻的是金匣子上刻的是“肖像不在此匣中肖像不在此匣中”，银匣子上刻了，银匣子上刻了“肖像在金匣肖像在金匣中中”，铅匣子上刻了，

2、铅匣子上刻了“ “ 肖像不在此匣中肖像不在此匣中”，这三句话只有一句是真话。，这三句话只有一句是真话。谁能根据这些情况猜中肖像放在哪只匣子里，她就嫁给谁。谁能根据这些情况猜中肖像放在哪只匣子里，她就嫁给谁。 这里，如果谁能准确地运用排中思维，那他就是漂亮贤淑的鲍西霞的这里，如果谁能准确地运用排中思维，那他就是漂亮贤淑的鲍西霞的夫婿了。因为，金匣上刻的话就是说肖像不在金匣中，这与银匣上刻的夫婿了。因为，金匣上刻的话就是说肖像不在金匣中，这与银匣上刻的“肖像在金匣中肖像在金匣中”正好构成矛盾关系，两者必有一真。为了确保只有一句正好构成矛盾关系，两者必有一真。为了确保只有一句真话，那么铅匣上的真话，

3、那么铅匣上的“肖像不在此匣中肖像不在此匣中”必须是假话，由此可以判定鲍西必须是假话，由此可以判定鲍西霞的肖像就在铅匣中。霞的肖像就在铅匣中。 第一章 绪论第一节第一节 逻辑学的对象逻辑学的对象2022年4月27日星期三4“逻辑” 的含义“逻辑逻辑”是一个外来词，它是英文是一个外来词，它是英文LogicLogic的音译，而英文的音译，而英文LogicLogic又源于又源于希腊文希腊文ss（逻各斯），其原意是指思想、言辞、理性、规律性（逻各斯），其原意是指思想、言辞、理性、规律性等。等。“逻辑逻辑” ” 常见的四种含义常见的四种含义：1、指客观事物的规律。、指客观事物的规律。例如：“捣蛋，失败，再

4、捣蛋，再失败，直至灭亡这是帝国主义和世界上一切反动派对待人民事业的逻辑。”2、指某种特殊的理论、观点或看问题的方法。、指某种特殊的理论、观点或看问题的方法。例如：“侵略者奉行的是强盗逻辑”3、指思维的规律、规则。、指思维的规律、规则。例如：例如： “写文章要讲逻辑写文章要讲逻辑” ， “概念要明确，判断要恰当，推理要合概念要明确，判断要恰当，推理要合乎逻辑。乎逻辑。” 4、指逻辑学这门科学。、指逻辑学这门科学。例如：“大学生要学点逻辑”2022年4月27日星期三5思维思维的三种类型：思维的三种类型：概念、命题、推理。概念、命题、推理。思维的主要特点：思维的主要特点：1 1、思维的概括性指思维能

5、反映事物共有的本质属性。、思维的概括性指思维能反映事物共有的本质属性。如：“商品”这一概念，就是人们对“用来交换的劳动产品”这一类事物共有的本质属性的反映。2 2、思维的间接性指思维能够在已有知识的基础上，认识那、思维的间接性指思维能够在已有知识的基础上，认识那些仅凭感性认识不能或难以真正认识的事物。些仅凭感性认识不能或难以真正认识的事物。思维是认识的理性阶段，在这个阶段，人们在感性认识的基思维是认识的理性阶段，在这个阶段，人们在感性认识的基础上，形成概念，并用其构成判断（命题）、推理和论证。础上，形成概念，并用其构成判断（命题）、推理和论证。2022年4月27日星期三6思维和语言思维和语言的

6、关系：思维和语言的关系： 1、思维对客观事物概括而间接的反映思维对客观事物概括而间接的反映, ,是通过语言实现的。是通过语言实现的。 2、作为思维类型的概念、命题、推理，必须依靠相应的语言单位才能表达和交流。语言是思维的物质外壳。 3、语言也离不开思维，没有思维也就没有语言，语言的发展依赖于思维的发展。语言的分类：自然语言语言的分类：自然语言和和人工语言人工语言自然语言自然语言是人们在思维和交际中使用的语言；是人们在思维和交际中使用的语言；人工语言人工语言是为了某种目的而创制的表意符号系统。是为了某种目的而创制的表意符号系统。 如：自然语言“如果天气好，那么我们就去爬山。” 可用人工语言“pq

7、”表示。2022年4月27日星期三7逻辑学的研究对象狭义的逻辑狭义的逻辑： 指研究推理形式的科学。指研究推理形式的科学。广义的逻辑广义的逻辑： 就是研究思维的形式及其规律以及逻辑方法的科学。广义的逻就是研究思维的形式及其规律以及逻辑方法的科学。广义的逻辑除研究推理形式外，也研究与推理形式相关的各种命题形式、词项及其种辑除研究推理形式外，也研究与推理形式相关的各种命题形式、词项及其种类、关系、定义、划分等；还研究认识现实的一些逻辑方法以及逻辑理论的类、关系、定义、划分等；还研究认识现实的一些逻辑方法以及逻辑理论的应用。应用。思维的内容与形式思维的内容与形式：思维包括内容和形式两个方面。思维包括内

8、容和形式两个方面。思维的内容：思维的内容：当事物及其性质、关系、规律反映在思维之中，就构成了思维当事物及其性质、关系、规律反映在思维之中，就构成了思维的内容。的内容。 例如：“货币”具有“固定充当一般等价物的商品”的性质，就形成了“货币是固定充当一般等价物的商品”这一命题的内容。思维的形式：思维的形式：思维在抽象掉具体内容之后所具有的共同结构，思维的形式又思维在抽象掉具体内容之后所具有的共同结构，思维的形式又叫思维的逻辑形式。下面的三个命题，内容各不相同：叫思维的逻辑形式。下面的三个命题，内容各不相同：2022年4月27日星期三8(1)(1)所有所有大学生都是都是学生学生。(2)(2)所有所有

9、金属都是都是导电体导电体。(3)(3)所有所有商品都是都是用来交换的劳动产品用来交换的劳动产品。但这三个命题有共同的逻辑形式但这三个命题有共同的逻辑形式:所有所有S都是都是P P(1)(1)如果如果物体发热物体发热，那么，那么物体就会膨胀物体就会膨胀。(2)(2)如果如果明天天气好明天天气好，那么，那么我就去郊游。我就去郊游。上面两个命题也有共同的逻辑形式上面两个命题也有共同的逻辑形式: :如果如果p p，那么，那么q qSPp pq q2022年4月27日星期三9（1 1）所有）所有公民公民都是都是遵纪守法的人遵纪守法的人，有的，有的人人是是公民公民，所以，有的，所以，有的人人是是遵纪守法的

10、人遵纪守法的人。（2 2）所有）所有科学科学都是都是有价值的有价值的，有的，有的理论理论是是科学科学，所以，有的，所以，有的理论理论是是有价值的有价值的。这两个推理的内容不同，但有相同的逻辑形式这两个推理的内容不同，但有相同的逻辑形式:所有所有M是是P，有，有S是是M，所以，有，所以，有S是是P。所以：不同的思维内容可以有相同的思维形式所以：不同的思维内容可以有相同的思维形式。逻辑学重点研究的是思维逻辑学重点研究的是思维的逻辑形式，任何逻辑形式都由逻辑常项和逻辑变项组成。的逻辑形式，任何逻辑形式都由逻辑常项和逻辑变项组成。逻辑常项：逻辑常项：是指逻辑形式中不随思维内容变化而变化的部分。体现了逻

11、辑形式是指逻辑形式中不随思维内容变化而变化的部分。体现了逻辑形式的本质特征，是区分不同种类的逻辑形式的唯一依据。的本质特征，是区分不同种类的逻辑形式的唯一依据。逻辑变项：逻辑变项：是指逻辑形式中可变的部分。是指逻辑形式中可变的部分。命题：(1)所有的 S 都是 P P (2)如果 p p ，那么 q q 逻辑常项逻辑常项逻辑变项逻辑变项2022年4月27日星期三10推理 逻辑学研究的是思维的逻辑形式，其主体是推理形式。逻辑学对词项、命题逻辑学研究的是思维的逻辑形式，其主体是推理形式。逻辑学对词项、命题的研究，都是服务于对推理的研究。的研究，都是服务于对推理的研究。 推理是从一个或多个已知命题得

12、出一个新命题的思维过程。得出的新命题推理是从一个或多个已知命题得出一个新命题的思维过程。得出的新命题叫结论，据以得出结论的命题叫前提。叫结论，据以得出结论的命题叫前提。所有科学都是有价值的，有的理论是科学所有科学都是有价值的，有的理论是科学，所以，所以，有的理论是有价值的有的理论是有价值的。 或然性推理推理必然性推理演绎推理类比推理不完全归纳推理完全归纳推理前提结论推理2022年4月27日星期三11推理的有效性演绎推理的有效性：如果在一个演绎推理中，当所有前提为真时，其结论必然演绎推理的有效性：如果在一个演绎推理中，当所有前提为真时，其结论必然为真。则这类推理称为形式正确的推理，又称为有效的推

13、理。为真。则这类推理称为形式正确的推理，又称为有效的推理。例：(1)所有的金属都是导电体, (2) 所有宣传品都是文艺作品。 塑料是金属, 标语是宣传品。 所以,塑料是导电体。 所以，标语是文艺作品。 这两个有效推理的形式为: 所有所有M M是是P P， 所有所有S S是是M M， 所以，所有所以，所有S S是是P P。正确推理只需要一个条件正确推理只需要一个条件:推理符合规则推理符合规则, ,也就是推理形式正确也就是推理形式正确，而与前提的真实性无关。而与前提的真实性无关。尽管上述两个推理的前提并不都是真实的。但从形式方面来讲，其结论是由前提推出来尽管上述两个推理的前提并不都是真实的。但从形

14、式方面来讲，其结论是由前提推出来的。因此，这个推理是正确的。因此，这个推理是正确( (有效有效) )的。的。归纳推理的有效性：归纳推理（不完全归纳）具有或然性归纳推理的有效性：归纳推理（不完全归纳）具有或然性, ,也就是讲前提对结论也就是讲前提对结论只有一定强度的支持，当前提为真，结论也可能是假的。归纳推理前提断定的只有一定强度的支持，当前提为真，结论也可能是假的。归纳推理前提断定的范围越接近结论断定的范围，对结论的支持强度就越大。范围越接近结论断定的范围，对结论的支持强度就越大。2022年4月27日星期三12逻辑的发展阶段按逻辑学发展的历程，逻辑可分为按逻辑学发展的历程，逻辑可分为传统逻辑传

15、统逻辑和和现代逻辑现代逻辑两大阶段。两大阶段。传统逻辑包括传统演绎逻辑和传统归纳逻辑。其中传统演绎逻辑主要指古希腊亚里士多德创立的词项逻辑和斯多葛派奠定的命题逻辑；而传统归纳逻辑是英国培根创建的，主要研究了实验科学中运用的一些推理和方法。现代逻辑指从布尔开始到如今以数理逻辑为主的逻辑理论,也分为现代演绎逻辑和现代归纳逻辑。现代演绎逻辑以命题逻辑、谓词逻辑为基础内容，包括集合论、证明论、递归论、模型论，也包括多值逻辑、模态逻辑等非标准逻辑，还包括问题逻辑、规范逻辑等应用逻辑。现代归纳逻辑以两个演算和概率论为工具，进行形式化的处理，对归纳结论的概然性作出精确计算，求得前提对结论的支持强度的概率。传

16、统逻辑现代逻辑第一章 绪论第二节第二节逻辑学的性质及作用逻辑学的性质及作用2022年4月27日星期三14逻辑学的性质逻辑学的性质全人类性全人类性基基 础础 性性工工 具具 性性规规 范范 性性各民族的语言所表达的思维形式，特别是推理形式是相同的，推出关系遵循的规律是相同的。这种性质决定了逻辑学具有全人类性。任何学科都必须使用逻辑学，逻辑学是一门基础性学科。二十世纪八十年代，联合国教科文组织把逻辑学列为七大基础学科之一。逻辑学提供的关于词项、命题、推理、论辩、逻辑方法的理论，为人们学习、理解、掌握和研究其他科学提供了有力工具。逻辑学研究思维的形式结构，具有很强的规范性。逻辑规律或规则，是人们进行

17、正确思维和成功交际必须遵循的规范。2022年4月27日星期三15逻辑学的作用1、学习逻辑学，有助于培养和提高认知自学能力、学习逻辑学，有助于培养和提高认知自学能力 树立终身教育理念，不断学习，是现代社会对人们提出 的共同要求，而逻辑思维能力直接决定认知自学能力。 逻辑思维能力的重要表征之一是运用符号尤其是人工语言的能力。通过对逻辑学的学习，能培养和提高对人工语言的运用能力，提高逻辑思维能力。 逻辑学提供人们关于思维的逻辑形式正确性的知识。2、学习逻辑学，有助于培养与提高理论素养、学习逻辑学，有助于培养与提高理论素养 在学习型社会，每个人都应提高其自身的理论素养，理论素养首要的是哲学素养。学习逻

18、辑学，可以培养我们的哲学素养，完善我们的知识结构，提高我们的文化素质。2022年4月27日星期三16逻辑学的作用3、学习逻辑学，有助于培养和提高科学研究能力、学习逻辑学，有助于培养和提高科学研究能力 科学研究需要理论素养，需要较强的认知能力，尤其需要创新思维与创新能力，需要科学的方法和工具。逻辑学所提供的一系列理论、规律、方法，可以提高我们的认知能力，使我们的思维更加敏捷，也给我们提供了科学研究的工具，促进知识创新能力的提高。4、学习逻辑学，有助于培养和提高思维素质、学习逻辑学，有助于培养和提高思维素质 思维素质是人的基本素质。逻辑学作为思维科学，专门研究思维的逻辑形式及规律，研究认识事物的简

19、单的逻辑方法，尤其是研究推理有效性的理论、规律与方法。学习逻辑学，人们可以使思维得到规范，使思维更加敏捷，思维素质大大提高。2022年4月27日星期三17逻辑学的分类用用第一章 绪论第三节第三节 逻辑学的研究与学习方法逻辑学的研究与学习方法2022年4月27日星期三19逻辑学的研究方法非形式化的方法逻辑学的研究方法形式化的方法公理化方法自然演绎方法2022年4月27日星期三20逻辑学的学习方法 1、明确逻辑学的对象，树立形式化观念。、明确逻辑学的对象，树立形式化观念。 2、把握逻辑学的脉络，突出学习的重点。、把握逻辑学的脉络，突出学习的重点。 3、根据逻辑学的特点，注重方法的学习。、根据逻辑学

20、的特点，注重方法的学习。 4、认识逻辑学的性质，理论联系实际。、认识逻辑学的性质，理论联系实际。第一章 绪论第四节第四节 逻辑学的发展简史逻辑学的发展简史2022年4月27日星期三22古希腊逻辑学古希腊哲学家、逻辑学家亚里士多德（前古希腊哲学家、逻辑学家亚里士多德（前384-前前322）在历史上建立了第一个初级的演绎推理系）在历史上建立了第一个初级的演绎推理系统。统。亚里士多德主要研究的内容亚里士多德主要研究的内容:1、研究了关于概念和判断的理论以及直言判断和模态命题；2、提出了逻辑的三大思维规律：矛盾律、排中律、同一律；3、主要贡献是对三段论的系统研究；4、总结了很多关于论证、反驳谬误和诡辩

21、的方法。2022年4月27日星期三23传统逻辑的发展斯多葛学派：斯多葛学派：发展了演绎逻辑，对命题理论有新的突破；在推论形式的多样化、形式化也有进展；对悖论作了一些研究。伊壁鸠鲁派：伊壁鸠鲁派：提出了归纳法，发展了归纳理论。中世纪的研究成就：中世纪的研究成就：元逻辑的研究取得一定的成果；创立了推演学说，研究了语义悖论及解决方法；逻辑学知识被高度重视，西班牙逻辑学家彼得的逻辑大全被各类学校广泛采用。2022年4月27日星期三24传统逻辑的发展西方逻辑学早期状况英国哲学家培根系统地总结和英国哲学家培根系统地总结和研究了实验科学方法，奠定了归研究了实验科学方法，奠定了归纳逻辑的基础并使之蓬勃发展。纳

22、逻辑的基础并使之蓬勃发展。其著作其著作新工具新工具主要内容：主要内容：1 1、提出了整理、分析、比较等科学归纳、提出了整理、分析、比较等科学归纳的的“三表法三表法” ” ： “ “本质和具有表本质和具有表” ” 、“差异表差异表” 、“程度表程度表”或或“比较表比较表”。2、提出了确定现象因果联系的方法，初步建立了归纳推理的理论体系。英国哲学家穆勒提出了探求因果联系的五种方法，也就英国哲学家穆勒提出了探求因果联系的五种方法，也就是是“穆勒五法穆勒五法”。2022年4月27日星期三25逻辑学的现代概况17世纪末德国数学家、哲学家莱布尼世纪末德国数学家、哲学家莱布尼茨提出把逻辑推理变成数学演算的思

23、想。茨提出把逻辑推理变成数学演算的思想。英国逻辑学家汉密尔顿创立了谓项量英国逻辑学家汉密尔顿创立了谓项量化理论，使逻辑学向形式化迈出了新的化理论，使逻辑学向形式化迈出了新的一步。一步。英国逻辑学家布尔建立了英国逻辑学家布尔建立了“逻辑代逻辑代数数”，首先实现莱布尼兹的设想。，首先实现莱布尼兹的设想。德国数学家、逻辑学家弗雷格较严格德国数学家、逻辑学家弗雷格较严格的构建了一个逻辑演算系统。的构建了一个逻辑演算系统。英国著名的哲学家、逻辑学家罗素建立了谓词演算系统。英国著名的哲学家、逻辑学家罗素建立了谓词演算系统。罗素和怀特海在罗素和怀特海在数学原理数学原理中总结了前人的成果，使中总结了前人的成果

24、，使数理逻辑成为一个新学科。数理逻辑成为一个新学科。2022年4月27日星期三26逻辑学三项划时代的重大成果1931年德国数学家哥德尔提出了不年德国数学家哥德尔提出了不完全性定理，它证明了包括数论在内完全性定理，它证明了包括数论在内的一致的形式系统都是不完全的，提的一致的形式系统都是不完全的，提出了形式系统的局限性。出了形式系统的局限性。1933年波兰逻辑学家塔尔斯基建立年波兰逻辑学家塔尔斯基建立了逻辑语义学，在其理论中，区分了了逻辑语义学，在其理论中，区分了元语言和对象语言，确立了真谓词的元语言和对象语言，确立了真谓词的逻辑原则。逻辑原则。1937年英国数学家、逻辑学家图灵建立了年英国数学家

25、、逻辑学家图灵建立了“图灵机理图灵机理论论”，第一次为人类提出了计算机应用的理想模型，标志，第一次为人类提出了计算机应用的理想模型，标志着人工智能时代的到来。着人工智能时代的到来。2022年4月27日星期三27本章小结基本内容基本内容逻辑学的基本概念、思维的内容与形式。逻辑学的基本概念、思维的内容与形式。逻辑学的性质，学习逻辑学的作用。逻辑学的性质，学习逻辑学的作用。逻辑学的研究方法以及学习方法。逻辑学的研究方法以及学习方法。逻辑学的发展简史。逻辑学的发展简史。重难点重难点思维的内容与形式。思维的内容与形式。有效有效(形式正确形式正确)的推理。的推理。形式化、公理化方法。形式化、公理化方法。2

26、022年4月27日星期三28形式化方法 形式化方法的作用形式化方法的作用:主要是能克服自然语言的歧义性。形式化方法的内容形式化方法的内容: 1 1、把自然语言符号化，抽象和概括为形式语言。形式、把自然语言符号化，抽象和概括为形式语言。形式语语 言由两部分组成：初始符号和形成规则。言由两部分组成：初始符号和形成规则。 2 2、对直观意义的推理关系进行语形和语义的双重刻画。、对直观意义的推理关系进行语形和语义的双重刻画。 3 3、证明对推理关系的双重刻画的重合性。、证明对推理关系的双重刻画的重合性。 形式化方法是指用一套特制的符号形式化方法是指用一套特制的符号,去表示词去表示词项、命题、推理，从而

27、对词项、命题、推理的形项、命题、推理，从而对词项、命题、推理的形式的研究，转化为对形式符号表达式系统的研究式的研究，转化为对形式符号表达式系统的研究的方法。的方法。2022年4月27日星期三29公理化方法公理系统是从一些公理出发，根据一定的规则，推演出一系公理系统是从一些公理出发，根据一定的规则，推演出一系列定理，它由初始概念、公理、定义、推理规则和定理构成列定理，它由初始概念、公理、定义、推理规则和定理构成的演绎系统。建立公理化系统的具体步骤：的演绎系统。建立公理化系统的具体步骤：1、把一组概念作为不加定义的初始概念，而其余概念叫导出概念，它们都由初始概念通过定义引入。2、从一组不加证明的公

28、理出发，通过逻辑推理规则可推演出一系列的命题，这些命题叫定理，其推理过程叫证明。公理化方法是从初始概念和公理出发，利用它们定义其它一切概念以及推演出其它一切定理的演绎方法，也就是运用形式化手段建立公理系统的方法。2022年4月27日星期三30自然演绎方法自然演绎方法与公理化方法的不同点：自然演绎方法与公理化方法的不同点：（1 1）没有公理；）没有公理；（2 2）只有推演规则；）只有推演规则；（3 3）系统的建立，以接近日常推理为考虑的重点。）系统的建立，以接近日常推理为考虑的重点。自然演绎方法是一种强调推理规则的重要性，既可以从真前提推出真语句，也可从假设得出推断的形式化方法。2022年4月2

29、7日星期三312022年4月27日星期三32第二章 命题逻辑第一节第一节 命题逻辑概述命题逻辑概述2022年4月27日星期三33命题命题（1）西南大学在重庆。（2）闪光的东西都是金子。 （3）如果小王有作案动机，那么他就会作案。符合实际的命题是真命题，不符合实际的命题是假命题。上述（1）是真命题; 而（2）、（3）是假命题。命题是通过语句来反映事物情况的思维形态命题是通过语句来反映事物情况的思维形态。例如：例如：命题的命题的主要特征：主要特征：命题有真假命题有真假2022年4月27日星期三34命题和语句命题和语句首先，有的语句不能直接表达命题，如：（1）西南大学在重庆吗?（2）请把门关上！一般

30、来讲：陈述句与反诘句可以直接表达命题。其次，同一命题可以用不同的语句来表达，如： “所有的鸟都会飞”与“没有鸟不会飞”表达了相同的命题。 此外，同一命题可用不同的民族语言的语句来表达。再次，同一语句，可以表达不同的命题，如： 小张将书还给小王，因为他要回家了。 任何命题都是通过语句来表达的，但语句和命题并非一一对应：任何命题都是通过语句来表达的，但语句和命题并非一一对应：语句语句(陈述句和反诘句陈述句和反诘句)有有内涵内涵也有也有外延外延:语句的内涵语句的内涵即它表达的命题；即它表达的命题；语句的外延语句的外延即真、假这两个真值。即真、假这两个真值。 采用这种观点的逻辑理论，称为采用这种观点的

31、逻辑理论，称为二值外延逻辑或经典逻辑。二值外延逻辑或经典逻辑。 逻辑学上所说的命题，一般指这种或者逻辑学上所说的命题，一般指这种或者为真或者为假的抽象语句。为真或者为假的抽象语句。2022年4月27日星期三35命题和判断命题和判断 一个命题是否能成为判断，与断定者的知识、立场等有关。如：“杜甫是伟大的诗人”能否被断定就与断定者的知识水平有很大关系。 充分假言命题被断定是前后件的关系，而不是支命题。如：“如果物体受到摩擦，那么物体发热”这个命题，我们既没有断定“物体受到摩擦”，也没有断定“物体发热”，我们所断定的只是前件是后件的充分条件。 判断：判断：就是被断定者断定了的命题。就是被断定者断定了

32、的命题。判断的主要特征：判断的主要特征：有所断定。有所断定。2022年4月27日星期三36命题的分类命题的分类模态命题命题非模态命题简单命题复合命题2022年4月27日星期三37命题分析的层次命题分析的层次将联结词所联结的命题作为一个完整的单位来看待研究关于联结词的推理(命题逻辑)深入到命题内部，把命题分析为主项、谓项、量项和联项研究关于量项和联项的推理(传统词项逻辑)深入到命题内部，把命题分析为个体词、谓词、量词及联结词研究关于量词的推理(现代谓词逻辑)把命题中包含的模态词分析出来研究关于模态词的推理(模态逻辑)2022年4月27日星期三38逻辑语形学与逻辑语义学逻辑语形学与逻辑语义学逻辑语

33、形逻辑语形( (语法语法) )学学: :研究符号与符号关系的逻辑理论。研究符号与符号关系的逻辑理论。逻辑语义学逻辑语义学: :研究符号及其解释的逻辑理论，如研究符号及其解释的逻辑理论，如: :把把p p、q q、r r解释为取解释为取真假值的命题变元真假值的命题变元，把把、 、解释为真值集上的运算解释为真值集上的运算，把把pqpq、pqpq、pqpq解释为真值函数的表达式。解释为真值函数的表达式。推理是由前提和结论组成的，前提和结论之间的关系称为推出（推论、推理是由前提和结论组成的，前提和结论之间的关系称为推出（推论、推理）关系。例如：推理）关系。例如： 小王既有缺点，又有优点，所以，小王有优

34、点。小王既有缺点，又有优点，所以，小王有优点。 在推理中，前提是在推理中，前提是“小王既有缺点，又有优点小王既有缺点，又有优点”，结论是，结论是“小王有小王有优点优点”， “ “所以所以”标志前提和结论之间的推出关系。标志前提和结论之间的推出关系。 推理形式：推理形式：p且且q，所以，所以，q。逻辑学是从语形和语义两个方面来研究推理的：逻辑学是从语形和语义两个方面来研究推理的： (1)(1)从前提和结论的形式方面进行从前提和结论的形式方面进行 (2)(2)从前提和结论的真假方面进行从前提和结论的真假方面进行 语形和语义对推出关系的双重刻画语形和语义对推出关系的双重刻画2022年4月27日星期三

35、39第二章 命题逻辑第二节第二节 复合命题及其推理复合命题及其推理2022年4月27日星期三40负命题负命题(1)并非选修逻辑的学生都是文科生。(2)这个班的学生不都学英语。(3)如果它是三角形，则内角和等于180，这个观点不对。注：负命题的支命题可以是简单命题，也可以是复合命题。负命题的形式负命题的形式: p。其中p称为的辖域。负命题的逻辑性质：负命题的逻辑性质：负命题的真假与被否定的命题的真假是相反的。负命题由否定联结词负命题由否定联结词(如如“并非并非”)联结支命题而形成的复合命联结支命题而形成的复合命题。例如：题。例如：2022年4月27日星期三41负命题负命题真值表：真值表：真值集合

36、只有两个元素真值集合只有两个元素T，F，其中，其中T表示命题为真，而表示命题为真，而F表示命表示命题为假。因此，可用列表的方式表示真值运算的过程，这种表称为题为假。因此，可用列表的方式表示真值运算的过程，这种表称为真值表真值表。真值函数：真值函数：当当p在真值集合在真值集合T，F上取真值后，上取真值后， p 的真值也唯一确定。所的真值也唯一确定。所以，以， p是是p的函数，表达形式为的函数，表达形式为f(p)= p，这种函数称，这种函数称真值函数真值函数。 的真值表如下：的真值表如下：F FT Tppp p 根据这个真值表，也可以给f(p)=p这个一元真值函数作如下定义： p为真当且仅当p为假

37、； p为假当且仅当p为真。T TF F真值表的作用2022年4月27日星期三42负命题负命题根据负命题的逻辑性质，可对根据负命题的逻辑性质，可对p再否定得到再否定得到p，其真值与，其真值与p相同，真值表如下：相同，真值表如下：F FT TF FT TF FT Tppppp p由上真值表知，对任意公式A，有等值关系：A A负命题的推导规则负命题的推导规则: :双重否定引入规则（+）：从A可推出A。图示：AA双重否定消去规则（-）：从A可推出A。图示： AA2022年4月27日星期三43联言命题联言命题（1）小张歌唱得好并且舞跳得好。（2）这样建立的逻辑系统既有可靠性，又有完全性。联言命题的形式：

38、联言命题的形式：p并且q（pq）。 p称为的左辖域， q称为的右辖域。pq是二元真值函数：是二元真值函数： f(p,q)=pq。是在两个真值变元p和q上进行运算的二元运算。联言命题是由联言联结词联言命题是由联言联结词(如如“并且并且”)联结支命题而联结支命题而形成的复合命题，又称合取命题。例如：形成的复合命题，又称合取命题。例如：2022年4月27日星期三44F FF FT TF FF FT TT TT Tpqpqq qp p从上表可以得出联言命题的逻辑性质：当p、q同时为真时，pq才为真；只要p、q其中一个为假，则pq为假。合取词的真值表T TF FF FF F由由的真值表的真值表,可得出可

39、得出运算的规律运算的规律:（1）的交换律：的交换律：pqqp（2）的结合律：的结合律：p(qr)(pq)r（3）的重言（幂等）律：的重言（幂等）律：ppp2022年4月27日星期三45合取引入规则（合取引入规则（+）：从）：从A A和和B B可推出可推出ABAB。图示如下：。图示如下：AB AB合取消去规则（合取消去规则（-）：从）：从ABAB可推出可推出A A，从，从ABAB可推出可推出B B。图示如下：。图示如下： AB AB A B小张喜爱音乐，小张喜爱体育，所以，小张不但喜爱音乐，也喜爱体育。根据+作出一个形式正确的推理，推理形式为：p,q pq 。小张既有优点，也有缺点，所以，小张是

40、有优点的。根据_作出一个形式正确的推理，推理形式为：pq p。联言命题的推导规则2022年4月27日星期三46选言命题选言命题选言命题分为选言命题分为“相容选言命题相容选言命题”和和“不相容选言命题不相容选言命题 ”两两种。种。相容选言命题的选言支可以同时为真，如：相容选言命题的选言支可以同时为真，如：(1)小王或者是班干部，或者是学生会干部(二者可以得兼)。(2)这份统计材料，或者是原始材料有错误，或者是计算有错误，或者两种情况都存在。而不相容选言命题的选言支不能同时为真，如：而不相容选言命题的选言支不能同时为真，如：(1)鱼，我所欲也，熊掌，亦我所欲也，二者不可得兼。(2)要么选老王当村长

41、，要么选小李当村长。 选言命题用选言联结词联结支命题而形成的复合命题。选言命题用选言联结词联结支命题而形成的复合命题。2022年4月27日星期三47相容选言命题的形式：相容选言命题的形式：p或者q(pq)的真值表：的真值表：相容选言命题的逻辑特征：相容选言命题的逻辑特征：相容选言命题为真，则它的选言支至少有一个为真；反过来讲，当选言命题至少有一个选言支为真，选言命题一定为真。F FF FT TF FF FT TT TT Tp pq qq qp pT TF FT TT T相容选言命题及推理相容选言命题及推理2022年4月27日星期三48的运算规律的运算规律和和的混合运算规律的混合运算规律(1)

42、对的分配律: p(qr) (pq)(pr)。(2) 对的分配律：p(qr) (pq)(pr)。(3)吸收律：p(pq) p；p(pq) p。(4)德摩根律： (pq)pq；(pq)pq。(1)的交换律：pq qp， (2)的结合律：p(qr) (pq)r(3)的重言律：pp p。 2022年4月27日星期三49用真值表检验德用真值表检验德摩根律：摩根律：从上真值表，可得：(pq) pq应用德应用德摩根律的实例摩根律的实例:并非这件衣服物美(而且)价廉这件衣服或者物不美，或者价不廉。并非小李或者喜欢音乐，或者喜欢体育小李既不喜欢音乐，也不喜欢体育。T TT TF FT TT TF FF FT T

43、T TF FF FT TT TF FT TT TF FT TF FF FT TF FF FTF FF FT TT T p p q q (p(pqq) )pqpq q q p pq qp p2022年4月27日星期三50析取消去规则析取消去规则( )从从AB和和A可推出可推出B；从；从AB和和B可推出可推出A。AB AB A B B A （只讨论有两个选言支的选言命题，下同）（只讨论有两个选言支的选言命题，下同）析取消去规则的应用实例：析取消去规则的应用实例：或者李某是嫌疑犯，或者王某是嫌疑犯(或者二者都是)；李某不是嫌疑犯；所以，王某是嫌疑犯。 其推理形式为： pq, p q肯定一个选言支，不

44、能否定另一个选言支。下述推理形式均错误： AB ,A B； AB ，B A 规则：否定一个选言支，就要肯定另一个选言支。2022年4月27日星期三51析取引入规则析取引入规则(记为记为 )：从A可推出AB； 从B可推出AB。 A B AB AB 析取析取引入引入规则的应用实例：规则的应用实例：小王是医生；所以，小王是医生，或者小王是教师。 其推理形式为：p pq2022年4月27日星期三52FFTFFTTTp qqp的真值表的真值表的运算规律的运算规律的交换律：pq qP(q r) (p q )的结合律： prFTTF形式：形式：要么p,要么q（pq）qdf(pq)(pq)p不相容选言命题及推

45、理逻辑性质：不相逻辑性质：不相容选言命题为真，容选言命题为真，当且仅当两个选当且仅当两个选言支有且只有一言支有且只有一个为真。个为真。2022年4月27日星期三53消去规则消去规则(记为记为 _ ):从A B和A可推出B；从A B和B可推出A；A BA B A BB A从A B和 A可推出B；从A B和 B可推出A；A B A B A B B A2022年4月27日星期三54假言命题假言命题（1）如果寒潮到来，那么气温就会下降。（2）只有你去，我才放心。（3）人不犯我，我不犯人，人若犯我，我必犯人。在（在（1）、（）、（2）中由）中由“如果如果”、“只有只有”引出的引出的支命题称为前件支命题称

46、为前件 ，由，由“那么那么”、“才才”引出的支引出的支命题称为后件。命题称为后件。假言命题的种类假言命题的种类一、充分条件假言命题二、必要条件假言命题三、充分必要条件假言命题 假言命题假言命题是由假言联结词是由假言联结词(如如 “如果，那么如果，那么”、“只有，只有，才才”、“当且仅当当且仅当”等等)联结支命题而形成的复合命题联结支命题而形成的复合命题，例如：例如：2022年4月27日星期三55充分条件假言命题(1)如果你不断地坚持锻炼，你的身体就会康复。(2)假如语言能创造财富，那么，夸夸其谈的人就会成为世界上最富有的人。 充分条件假言命题的充分条件假言命题的形式形式：如果p，那么q (pq

47、) 在蕴涵式pq中，p称为的前件(左辖域)，q称为的后件(右辖域)。充分条件假言命题亦称条件命题或者实质蕴涵命题充分条件假言命题亦称条件命题或者实质蕴涵命题,是用是用“如果，那么如果，那么”等联结词联结前、后件形成的假言命题，等联结词联结前、后件形成的假言命题，例如：例如：2022年4月27日星期三56的真值表的真值表 充分条件假言命题的逻辑性质是：充分条件假言命题的逻辑性质是：除了前件为真而后件为假时充分条件假言命题是假的以外,在其它三种情况下, 充分条件假言命题都是真的。F FF FT TF FF FT TT TT Tp p q qq qp pT TT TT TF F2022年4月27日星

48、期三57必要条件假言命题(1)只有由细菌引起的疾病，才能用抗生素治疗。(2)我不去，除非你去。 必要条件假言命题的必要条件假言命题的形式形式：只有p,才q(pq)用用“只有，才只有，才”联结前、后件形成的假言命题，例如：联结前、后件形成的假言命题，例如：在蕴涵式pq中，p称为的前件(左辖域)，q称为的后件(右辖域)。2022年4月27日星期三58的真值表的真值表必要条件假言命题的逻辑性质是：必要条件假言命题的逻辑性质是：除了前件为假而后件为真时充分条件假言命题是假的之外,其它情况下, 充分条件假言命题都是真的。p pq qp p q qT TT TT TT TF FT TF FT TF FF

49、FF FT T2022年4月27日星期三59充分必要条件假言命题(1)a和b平行,当且仅当它们的同位角相等。(2)人不犯我，我不犯人；人若犯我，我必犯人。充要条件假言命题的形式：充要条件假言命题的形式：p当且仅当q(pq)在充要条件式pq中 ，称p为的前件(左辖域)，称q为 的后件(右辖域)。充分必要条件假言命题又称双条件命题，简称充要条件充分必要条件假言命题又称双条件命题，简称充要条件假言命题，是用假言命题，是用“当且仅当当且仅当”等作为联结词的命题，例等作为联结词的命题，例如：如：2022年4月27日星期三60的真值表的真值表的逻辑性的逻辑性质：质：当p和q的真值相同时，pq的真值为真；当

50、p和q的真值不相同时，pq的真值为假。除上述已有规则外，、还有一些运算规律F FF FT TF FF FT TT TT Tp p q qq qp pF FF FT TT T2022年4月27日星期三61关于关于的推理规则的推理规则(1)蕴涵消去规则,也称分离规则(略缩为M.P.)或肯定前件式(记为_ )从AB和A可推出B。图示：ABAB (2)否定后件式(略缩为M.T.) 从AB和B可推出A。图示： AB B A规则：肯定前件就要肯定后件规则：否定后件就要否定前件2022年4月27日星期三62关于关于的推理规则的应用的推理规则的应用（1）如果甲方付给了定金,乙方就得按时发货。甲方已付给了定金。