《形式逻辑》(第二版)樊明亚主编文件课件.ppt

1、 课程目的课程目的：通过逻辑基本知识的学习、基本 技能的训练，把握标准，运用方 法，养成习惯，正确推理，有效 论证，提高抽象思维能力。教学课时：教学课时：学时教 材：樊明亚主编形式逻辑（第二版）逻辑学主要研究推理形式，是正确思维与有效交际的理论，具有中国、印度、希腊三地传统，包括演绎逻辑、归纳逻辑两大部分，分为传统逻辑、现代逻辑两个体系。逻辑有悠久的历史，又方兴未艾，产生了众多分支，得到了广泛的运用，并在人类认识世界、改造世界的过程中发挥着越来越重要的作用。为提高抽象思维能力与文化素养水平，我们要努力学习和掌握逻辑知识，将之运用于思维实际中，潜移默化，提高思维素质。逻辑学是研究抽象思维的思维形

2、式及其规律，并涉及一些逻辑方法的科学 1.1 逻辑学的对象与内容逻辑学的对象与内容 “逻辑逻辑”的语源的语源1.1.1 “逻辑逻辑”音译词音译词 “逻辑逻辑”的语义的语义多义词多义词 “逻辑”作为学科名 在我国曾有“名学”“辩学”“论理学”“理则学”等译名外来词外来词 20世纪初译自英文世纪初译自英文Logic 源于希腊文源于希腊文客观事物发展规律客观事物发展规律 思维规律思维规律 某种理论、观点或思想方法某种理论、观点或思想方法 逻辑学逻辑学 1.1.2 逻辑学的产生与发展逻辑学的产生与发展发源地发源地 我们所学习的逻辑学知识源于古希腊的西方逻辑我们所学习的逻辑学知识源于古希腊的西方逻辑传统

3、演绎逻辑传统演绎逻辑传统归传统归纳逻辑纳逻辑现代演现代演绎逻辑绎逻辑现代归现代归纳逻辑纳逻辑词项的逻辑词项的逻辑命题的逻辑命题的逻辑亚里士多德亚里士多德斯多葛学派斯多葛学派培根培根穆勒穆勒莱布尼兹莱布尼兹罗素罗素凯恩斯凯恩斯西方逻辑学发展史上关节点及代表人物西方逻辑学发展史上关节点及代表人物 古印度：古印度：因明因明 古代中国：名学、辩学古代中国：名学、辩学古希腊：古希腊：逻辑学逻辑学内容内容方法方法传统逻辑传统逻辑现代逻辑现代逻辑演绎逻辑演绎逻辑归纳逻辑归纳逻辑 我们所学习的逻辑学知识包括演绎逻辑和归纳逻辑我们所学习的逻辑学知识包括演绎逻辑和归纳逻辑 我们所学习的逻辑学知识包括传统逻辑和现代

4、逻辑我们所学习的逻辑学知识包括传统逻辑和现代逻辑 我们所学习的逻辑学知识不包括辨证逻辑我们所学习的逻辑学知识不包括辨证逻辑 我们所学习的逻辑学知识主要为基础逻辑和经典逻辑我们所学习的逻辑学知识主要为基础逻辑和经典逻辑归纳逻辑归纳逻辑 Inductive Logics 逻辑类型逻辑类型 Susan Hack Philosophy of Logics 附录附录三段论三段论 Traditional Logic 二值命题、谓词演算（狭义数理逻辑）二值命题、谓词演算（狭义数理逻辑）Classical Logic模态、时态、规范、认知、择优、祈使、问句逻辑模态、时态、规范、认知、择优、祈使、问句逻辑 Ex

5、tended Logics 多值、直觉、量子、自由逻辑多值、直觉、量子、自由逻辑 Deviate Logics 逻辑分支一览表逻辑分支一览表 N.Rescher Topics in Philosophical LogicA.基础逻辑基础逻辑1传统逻辑2经典现代逻辑3非经典现代逻辑B.元逻辑元逻辑1逻辑语法学2逻辑语义学3逻辑语用学a逻辑语言论和 自然语言逻辑b修辞学分析c语境蕴涵d非形式谬误理论e逻辑的非古典应用4逻辑语言学a结构理论（形态学）b意义理论C有效性理论C.数学发展方面数学发展方面1算术2代数3函数论4证明论5概率论逻辑6集合论7数学基础论D.科学发展方面科学发展方面1物理应用a量

6、子论逻辑b物理或因果模态理论2生物应用a伍杰方式的发展b控制论逻辑3社会科学应用a规范逻辑b价值逻辑c法律应用E.哲学发展方面哲学发展方面1伦理应用a行为逻辑b义务逻辑c命令（祈使）逻辑d优先逻辑和选择逻辑（效益、价值、对策和决策的逻辑问题）2形而上学的逻辑应用a存在性逻辑b时序逻辑（时态、变化、过程逻辑）c部分与整体逻辑d本体学e构造性逻辑（逻辑还原主义等）f（唯名论与唯实论之争意义下的）本体论逻辑3认识论应用a问（答）逻辑b认识论逻辑（相信、知道、相干）c假设逻辑（反事实的假设推理）d信息和信息过程的逻辑e归纳逻辑4归纳逻辑a证实和确证的逻辑b概率逻辑附录附录1.1.3 逻辑学研究对象逻辑

7、学研究对象逻辑学研究思维形式及其规律以及与之相关的逻辑方法逻辑学研究思维形式及其规律以及与之相关的逻辑方法 思维形式思维形式例例1 如果是偶数，那么可被如果是偶数，那么可被2整除。整除。1.思维形式是不同具体思维内容的共性思维形式是不同具体思维内容的共性 例例2 如果金属受热，那么它会膨胀。如果金属受热，那么它会膨胀。p pq q如果如果p p，那么，那么q q。q qp p 例例4 所有金属是导体。所有金属是导体。例例3 所有团员是青年。所有团员是青年。P PS SS SP P所有所有S S是是P P。不同具体思维内容的反映方式以及其中各部分的联系方式不同具体思维内容的反映方式以及其中各部分

8、的联系方式 我们所学习的逻辑学理论知识重点考察推理形式我们所学习的逻辑学理论知识重点考察推理形式3.思维形式是思维形式是逻辑常项和逻辑变项的统一逻辑常项和逻辑变项的统一 2.思维形式是不同思维形式是不同语言形式语言形式的共性的共性例例3 金属金属一受热受热就会膨胀会膨胀。例例2 只要金属受热金属受热；它它就会膨胀会膨胀。例例1 如果金属受热金属受热，那么它会膨胀它会膨胀。如果p p，那么q q。逻辑常项是思维形式中的不变部分，它决定思维形式的特性和思维形式的关系。逻辑变项是思维形式中的可变部分，它根据情况可代入命题变项或词项变项。如果如果 p p，那么，那么 q q 。所有所有 S S 是是

9、P P。逻辑常项逻辑常项逻辑常项逻辑常项逻辑变项（命题变项）逻辑变项（命题变项）逻辑变项（词项变项）逻辑变项（词项变项）思维形式的规律思维形式的规律 思维形式在无论代入什么命题变项或词项变项后思维形式在无论代入什么命题变项或词项变项后真假方面必然的联系真假方面必然的联系 所有所有S S是是P P。所有所有S S不是不是P P。不可能都是真的不可能都是真的只有只有p p，才，才q q如果如果p p，那么，那么q q不可能都是假的不可能都是假的 我们所学习的逻辑学理论知识要重点介绍思维形式的我们所学习的逻辑学理论知识要重点介绍思维形式的基本规律基本规律 逻辑方法逻辑方法认识现实、处理思维材料的特定

10、门路、程序、规则认识现实、处理思维材料的特定门路、程序、规则 我们所学习的逻辑学理论知识只包括简单的逻辑方法我们所学习的逻辑学理论知识只包括简单的逻辑方法红楼梦红楼梦西游记西游记 中国古典中国古典 文学名著文学名著 笑傲江湖笑傲江湖战争与和平战争与和平1.2 逻辑学的性质与作用逻辑学的性质与作用 人类性人类性 人文性人文性 基础性基础性 工具性工具性1.2.1 逻辑学的性质逻辑学的性质在抽象思维领域内为人们提供一般规则、方法等逻辑工具在抽象思维领域内为人们提供一般规则、方法等逻辑工具 所有人都要遵守同样的逻辑规律，运用同样的思维形式所有人都要遵守同样的逻辑规律，运用同样的思维形式 每一门科学都

11、要以思想和概念的形式来把握自己的对象，每一门科学都要以思想和概念的形式来把握自己的对象，所以都可以说是应用逻辑所以都可以说是应用逻辑 不仅作为一种人文存在，学科对象本身即具有人文内容，不仅作为一种人文存在，学科对象本身即具有人文内容，是社会理性化的支柱性学科是社会理性化的支柱性学科 1.2.2 逻辑学的作用逻辑学的作用 认识方面认识方面 交际方面交际方面 批判方面批判方面探求新知探求新知 正确认知正确认知 准确表达准确表达 完整理解完整理解 破斥诡辩破斥诡辩 识别谬误识别谬误 甚至形式逻辑也首先是探寻新结果的方法，由已知进到未知的方法。逻辑与修辞使人善辩使我佩服的是列宁演说中那种不可战胜的逻辑

12、力量，这种逻辑力量紧紧地抓住听众，一步一步地感染听众，然后把听众俘虏得一个不剩。如果我们有了正确的前提，并将这些前提正确地运用到推理中，我们的认识必定与现实相符。说话、写文章要讲逻辑。1.4 逻辑学的研究与学习逻辑学的研究与学习1.4.1 逻辑学的研究方法逻辑学的研究方法 形式化方法形式化方法 非形式化方法非形式化方法传统逻辑以非形式化的方法研究，基本上是用自然语言传统逻辑以非形式化的方法研究，基本上是用自然语言来各别描述命题形式和推理形式来各别描述命题形式和推理形式 现代逻辑以形式化和系统化的方法研究，构造形式语言，现代逻辑以形式化和系统化的方法研究，构造形式语言，进行操作演算，形成公理系统

13、与自然推理系统进行操作演算，形成公理系统与自然推理系统 语语 言言 思维形式依附语言形式而存在，我们通过语言形式对思思维形式依附语言形式而存在，我们通过语言形式对思维形式进行研究维形式进行研究 自然语言自然语言 历史自然形成的、日常使用的语言。具有语义的丰富性和模糊性特点。人工语言人工语言 人为构造的表意符号系统，即符号语言。具有语义的单一性和精确性特点。形式语言是一种人工语言。元语言元语言 对象语言对象语言 作为讨论对象的语言。如用汉语写的英语语法书，英语是对象语言。用来讨论对象语言的语言。如用汉语写的英语语法书，汉语是元语言。附录附录1.4.2 逻辑学的学习方法逻辑学的学习方法 根据逻辑学

14、的对象，撇开思维内容，透过语言形式，真正根据逻辑学的对象，撇开思维内容，透过语言形式，真正从逻辑领域及其角度入手。从逻辑领域及其角度入手。根据逻辑教材的内容，既要抓住重点，又要系统掌握，环根据逻辑教材的内容，既要抓住重点，又要系统掌握，环环相扣，循序渐进。环相扣，循序渐进。根据逻辑学的研究方法，学习时要克服困难，把握必要符根据逻辑学的研究方法，学习时要克服困难，把握必要符号与公式，并努力多掌握一些现代逻辑知识及其方法号与公式，并努力多掌握一些现代逻辑知识及其方法 。根据逻辑的性质，课堂要理解，课后要练习、日常要运用，根据逻辑的性质，课堂要理解，课后要练习、日常要运用，理论联系实际理论联系实际。

15、根据逻辑学的作用，端正学习态度，提高学习的自觉性和根据逻辑学的作用，端正学习态度，提高学习的自觉性和积极性，变自发地遵守、运用逻辑为自觉积极性，变自发地遵守、运用逻辑为自觉。推理是从若干命题直接得出一个命题的思维过程及思维形态 推理尤其是推理形式是逻辑学研究的主体，不同逻辑系统正是由于所研究的推理及其形式不同、用于研究推理及其形式之方法的不同而形成的，逻辑的学习重点也因此而包含上述两个方面的内容。为此，首先应了解推理的种类、构成成分、以及逻辑性质等一般性知识，为进一步的学习打下基础。在这些知识当中，有关概念、命题的知识是预备知识，因为推理主要由命题构成，而命题归根结底又由概念构成。推理的构成成

16、分可以分析到命题，也可以进一步推理的构成成分可以分析到命题，也可以进一步分析到词项。分析到词项。例例1 1 分析到命题分析到命题只有年满十八岁(p)(p)，才有选举权(q)(q)；他有选举权(p)(p)；所以，他年满十八岁(q)(q)。例例2 2 分析到词项分析到词项金属(M)是导体(P)；铜(S)是金属(M)；所以，铜(S)是导体(P)。2.1 推理的构成成分推理的构成成分2.1.1 词项词项 词项是概念及其语言形式的统一体概念是反映对象特有属性的思维形态概念是反映对象特有属性的思维形态语词是词和词组的统称语词是词和词组的统称概念与语词的关系不是对应的：1.概念必须通过语词来表达概念必须通过

17、语词来表达,但并非所有语词都表达概念但并非所有语词都表达概念2.同一概念可用不同语词表达同一概念可用不同语词表达;不同概念可用同一语词表达不同概念可用同一语词表达 概念概念 语词语词 特有属性特有属性特有属性是只为某对象都有的属性特有属性是只为某对象都有的属性(包括性质与关系包括性质与关系)词项包括逻辑词项（逻辑小品词）和非逻辑词项（主项词项包括逻辑词项（逻辑小品词）和非逻辑词项（主项及谓项，传统逻辑的词项就是指非逻辑词项）及谓项，传统逻辑的词项就是指非逻辑词项）2.1.2 命题命题命题是反映对象情况的思维形态命题与语句的关系不是对应的：1.命题必须通过语句来表达命题必须通过语句来表达,但并非

18、所有语句都表达命题但并非所有语句都表达命题2.同一命题可用不同语句表达同一命题可用不同语句表达;不同命题可用同一语句表达不同命题可用同一语句表达判断是被断定了的命题 命题的逻辑性质：有真假。命题的真假性质统称命题的逻辑性质：有真假。命题的真假性质统称为命题的真值。为命题的真值。二值逻辑：将命题的真值限定为真假两种的逻辑，二值逻辑：将命题的真值限定为真假两种的逻辑，此外还有三值逻辑、多值逻辑等。此外还有三值逻辑、多值逻辑等。判断判断陈述是命题及其语言形式的统一体命题形式是命题内容在真假方面的联系方式 模态命题 简单命题（变项词项）复合命题（变项命题）非模态命题另一种分类命题命题命题命题注：一般先

19、分模态与否，再分复合与否 命题形式命题形式 命题种类命题种类以命题本身是否包含其他命题为标准 以命题中是否含有模态词为标准 模态命题非模态命题命题命题简单命题复合命题真值模态命题广义模态命题真值模态简单命题真值模态复合命题广义模态简单命题广义模态复合命题性质命题关系命题负命题联言命题选言命题假言命题命题体系命题体系附录附录2.2 推理的组成部分推理的组成部分金属是导体，铜是金属，所以，铜是导体前 提推理由前提、结论、推理联项三部分组成结 论推理联项 在自然语言中，在自然语言中，“由此可见由此可见”、“总而言之总而言之”、“综上所综上所述述”等也表达推理联项等也表达推理联项。2.3 推理的逻辑性

20、质推理的逻辑性质 推理在形式方面确定前提与结论之间真假联系程度的性质 推理中前提的命题形式与结论的命题形式之间的联系方式 有的学生是团员，有的学生是团员，所以，有的团员是学生。所以，有的团员是学生。推理形式推理形式结论命题前提命题结论命题形式 有有 S S 是是 P P所以所以,有有 P P 是是 S S前提命题形式2.3.1 推理的有效性推理的有效性 即推理形式的有效性，指推理形式是否具有从真前提必然推出真结论的性质。能保证从真前提必然推出真结论的推理形能保证从真前提必然推出真结论的推理形式是有效的，否则就不是有效的。式是有效的，否则就不是有效的。正确的推理正确的推理=推理形式有效推理形式有

21、效+推理前提真实。推理前提真实。推理的内容真假与形式对错之关系推理的内容真假与形式对错之关系前提前提形式形式结论结论推理推理实例实例1 真实+有效真实=正确有偶数是素数，所以，有素数是偶数。2 真实+有效虚假=3 真实+无效真实=错误有学生不是青年，所以，有青年不是学生。4 真实+无效虚假=错误金属是导体，所以，导体是金属。5 虚假+有效真实=错误博士是教授，所以，有教授是博士。6 虚假+有效虚假=错误等边三角形不是等角的，所以，等角三角形不是等边的。7 虚假+无效真实=错误有昆虫不是六足动物，所以，有六足动物不是昆虫。8 虚假+无效虚假=错误原子是不可分的，所以，不可分的是原子。附录附录2.

22、3.2 推理的可靠度推理的可靠度 即推理形式的可靠度，指推理形式具有从真前提或然推出真结论的可靠程度。可靠度的值可投射到（可靠度的值可投射到（0，1上。上。可靠度的值可靠度的值=1实际上就是有效的。实际上就是有效的。2.4 推理的种类推理的种类演绎推理演绎推理归纳推理归纳推理类比推理类比推理必然性推理必然性推理或然性推理或然性推理复合命题推理复合命题推理非模态推理非模态推理模态推理模态推理 推理推理 推理推理简单命题推理简单命题推理其他分类传统逻辑主要分类传统逻辑主要分类现代逻辑主要分类现代逻辑主要分类推推理理推推理理以推理进程为标准以推理性质为标准与命题的分类配套模态推理非模态推理推理推理演

23、绎推理真值模态推理广义模态推理性质命题演绎推理关系命题演绎推理推理体系推理体系复合命题演绎推理简单命题演绎推理归纳推理类比推理命题逻辑（推理）谓词逻辑（推理）对对词项逻辑（推理）附录附录应应 复合命题演绎推理是传统逻辑的重要组成部分。传统逻辑以非形式化的方法，首先研究了复合命题的种类、结构及其逻辑性质，在此基础上进而分别研究复合命题推理的形式、规则等，以使人们能识别、分析复合命题及其推理运用中的逻辑错误，能在日常思维中自觉运用有效的复合命题推理形式，得出合乎逻辑的结论。为了能更好地帮助学习，在本章内容讲述中引进了现代逻辑的真值表。复合命题演绎推理是将推理的构成成分只分析到命题变项的演绎推理。3

24、.1.1 复合命题概述复合命题概述 包含其他命题，并且其真假由所包含命题的真假所决定的命题。概念概念例例2:光具有波动性光具有波动性，而且光具有粒子性，而且光具有粒子性。例例1:并非所有的脊椎动物都是胎生的。并非所有的脊椎动物都是胎生的。所包含的命题所包含的命题所包含的命题3.1 复合命题复合命题 构成构成肢命题命题联结词光具有波动性光具有波动性，并且，并且 光具有粒子性光具有粒子性。复合命题所包含的命题叫做肢命题（或支命题）。复合命题在肢命题的数量上、种类上都可以有所不同。一个肢命题的复合命题称之为一肢复合命题，两个肢命题的复合命题称之为二肢复合命题，依次类推。如果肢命题还是复合命题，则叫做

25、多重复合命题，否则就是一般的复合命题。复合命题由命题联结词将肢命题联结起来而构成 命题联结词简称为联结词，它将肢命题联结起来。联结词主要反映真假方面的联结关系，不同的联结词所反映的真假方面联结关系也不同。复合命题形式中的逻辑常项在传统逻辑中以特定的自然语词来表示，在现代逻辑中以符号来表示。它决定复合命题的种类、逻辑性质等，成为逻辑研究的重点。复合命题形式中的命题变项变项，一般以p p、q q、r r等符号按序表示。形式形式（以二肢复合命题为例）（以二肢复合命题为例）光具有波动性光具有波动性，并且，并且 光具有粒子性光具有粒子性。p pq q并且并且命题变项命题变项逻辑常项 复合命题形式是由命题

26、联结词与命题变项组成的表达式。种类种类负命题联言命题选言命题假言命题复合命题模态命题单独处理，在谈到简单命题、复合命题时，若不另加说明，均指非模态命题。以命题联结词的逻辑性质为标准 3.1.2 联言命题联言命题 概念概念反映若干事物情况共存的复合命题 联言命题的肢命题简称为联言肢，联言肢至少有两个。我们主要考察二肢联言命题。联言命题的联结词简称为联言联结词，汉语中“并”、“既，又”、“不但而且”“虽然，但是”等等都是表达联言联结词的语词。例：读书是学习，使用也是学习，而且是更重要的学习。在日常生活中，联言命题常用省略的语言形式表达。1 虚心使人进步，骄傲使人落后。2 世界是多样的，又是统一的。

27、省略联结词 省略相同的主语 省略并凝缩成单句 结构与形式结构与形式光具有波动性光具有波动性，并且光具有粒子性，并且光具有粒子性。p p 并且并且 q q p p q q传统逻辑刻画的形式现代逻辑刻画的形式第一联言肢p第二联言肢q3学习理论与调查研究都很重要。是合取词，读作是合取词，读作“并且并且”。p p q q 称为合取式称为合取式。联言联结词 以“并且”作为联言联结词的代表 真值真值1事物是普遍联系的事物是普遍联系的、不断发展的不断发展的。2事物是普遍联系的事物是普遍联系的、静止不变的静止不变的。3事物是彼此孤立的事物是彼此孤立的、不断发展的不断发展的。4事物是彼此孤立的事物是彼此孤立的、

28、静止不变的静止不变的。真假假假现代逻辑合取式真值表为：联言命题的真值可概括为：肢命题都真才真p pq qp p q qTTTTFFFTFFFF（真）（真）（真）（假）（假）（假）（假）（真）事理关系、心理关系与逻辑关系事理关系、心理关系与逻辑关系“理实难恕，情有可原”之类转折复句原理与此相同她不但结婚了，还生了小孩。比较：她不但生了小孩，还结婚了。事理关系心理关系逻辑关系递进递进同真她不但会唱歌，还会跳舞。事理关系心理关系逻辑关系并列递进同真比较：她不但会跳舞，还会唱歌。附录附录3.1.3 选言命题选言命题 概念概念反映若干事物情况中至少有一个存在的复合命题 选言命题的肢命题简称为选言肢，选言

29、肢至少有两个。我们主要考察二肢选言命题。选言命题的联结词简称为选言联结词，汉语中“或者”、“或或”、“要么要么”等等都是表达选言联结词的语词。选言联结词是不可省略的。例：或者物质是第一性的，或者精神是第一性的。在日常生活中，选言命题也可用省略的语言形式表达。1 冠军或者是法国队，或者是巴西队。省略相同的主语 省略并凝缩成单句 2法是由国家制定或认可的。种类种类以选言命题是否反映若干事物情况可以共存为标准 选言命题相容选言命题不相容选言命题 结构与形式结构与形式或者物质是第一性的，或者精神是第一性的。p p 或者或者 q q p p q q传统逻辑刻画的形式现代逻辑刻画的形式第一选言肢p第二选言

30、肢q相容选言命题 概念概念 反映若干事物情况至少有一个存在并且可以共存的选言命题 是析取词，读作是析取词，读作“或者或者”。p p q q 称为析取式。称为析取式。以单用的“或者”作为相容选言联结词的代表相容选言联结词 真值真值1曹操或者是文学家曹操或者是文学家，或者是军事家或者是军事家。2曹操或者是文学家曹操或者是文学家，或者是化学家或者是化学家。3曹操或者是数学家曹操或者是数学家，或者是军事家或者是军事家。4曹操或者是数学家曹操或者是数学家，或者是化学家或者是化学家。真真真假现代逻辑析取式真值表为：相容选言命题的真值可概括为：肢命题都假才假p pq qp p q qTTTTFTFTTFFF

31、（真）（真）（真）（真）（假）（假）（假）（假）结构与形式结构与形式要么鱼死，要么网破。要么要么p p，要么要么q q p p q q传统逻辑刻画的形式现代逻辑刻画的形式第一选言肢p第二选言肢q不相容选言命题 概念概念 反映若干事物情况至少有一个存在并且不能共存（至多有一个存在）的选言命题 以“要么要么”作为不相容选言联结词的代表 是严格析取词，读作是严格析取词，读作“要么要么，要么，要么”。不相容选言联结词 真值真值1 英国要么是岛国英国要么是岛国，要么是王国要么是王国。2 古巴要么是岛国古巴要么是岛国，要么是王国要么是王国。3 瑞典要么是岛国瑞典要么是岛国，要么是王国要么是王国。4 美国要

32、么是岛国美国要么是岛国，要么是王国要么是王国。假真真假现代逻辑严格析取式真值表为：不相容选言命题的真值可概括为：一个肢命题真时才真p pq qp p q qTTFTFTFTTFFF（真）（真）（真）（真）（假）（假）（假）（假）选言命题的几个问题选言命题的几个问题 选言肢穷尽选言肢穷尽 选言肢穷尽的相容选言命题一定是真命题，但真的相容选言命题不一定是选言肢穷尽的。选言命题种类识别选言命题种类识别 用“或者”联结的命题一般为相容选言命题，但“或者武松把老虎打死，或者老虎把武松吃掉，二者必居其一”句中虽然用的是“或者”，由于“二者必居其一”否定了二者都是的情况，进行了限定，因而是严格析取命题。严格

33、析取联结词严格析取联结词 p p q q r r 与（p p q q）r r 在真值上应该是相同的，但套用“一个肢命题真时才真”时，第一个一步运算到位不会有异常，第二个却出现异常，即在肢命题都真时也真。因此，有人对其提出质疑。附录附录p pq qr rp p q q（p p q q）r rp p q q r rTTTFTFTTFFFFTFTTFFTFFTTTFTTTFFFTFTTTFFTFTTFFFFFF3.1.4 假言命题假言命题 概念概念反映两个事物情况条件关系的复合命题 假言命题的肢命题简称为假言肢，由于假言肢只有两个，便将第一个假言肢称为前件，第二个假言肢称为后件。假言命题的联结词简称

34、为假言联结词，汉语中“只要就”、“只有才”、“假使那么”等等都是表达假言联结词的语词。假言联结词有的可省略。例：只要功夫深，铁杵磨成针。在日常生活中，假言命题也可以省略的语言形式表达。1 欲穷千里目，更上一层楼。省略联结词 省略并凝缩成单句 2你请他才来。种类种类以假言联结词所反映的条件关系种类为标准 假言命题充分条件假言命题充要条件假言命题必要条件假言命题 条件关系条件关系 条件充分条件充要条件必要条件有之必然的条件，即在事物情况p p与q q之间，有p p一定有q q 无之必不然的条件，即在事物情况p p与q q之间，无p p一定无q q 有之必然、无之必不然的条件，即在事物情况p p与q

35、 q之间，有p p一定有q q，无p p一定无q q 结构与形式结构与形式如果摩擦物体，那么物体生热。如果如果p p，那么那么 q q p p q q传统逻辑刻画的形式现代逻辑刻画的形式前件p后件q充分条件假言命题 概念概念 反映一个事物情况是另一事物情况充分条件的假言命题 以“如果那么”作为充分条件假言联结词的代表 是蕴涵词，读作是蕴涵词，读作“如果如果那么那么”。p p q q 称为蕴涵式。称为蕴涵式。（严格地说应为实质蕴涵词）充分条件假言联结词 真值真值1 如果铜是金属如果铜是金属，那么铜是导体那么铜是导体。2 如果铜是金属如果铜是金属，那么铜是金子那么铜是金子。3 如果水是金属如果水是

36、金属，那么水是导体那么水是导体。4 如果水是金属如果水是金属，那么水是金子那么水是金子。真假真真现代逻辑蕴涵式真值表为：充分条件假言命题的真值可概括为：前件真后件假才假（概括为真蕴涵假才假就可适用于全部假言命题）p pq qp p q qTTTTFFFTTFFT（真）（真）（真）（真）（假）（假）（假）（假）注意蕴涵怪论 即假命题蕴涵任何命题 结构与形式结构与形式只有认识错误，才能改正错误。只有只有p p，才才 q q p p q q传统逻辑刻画的形式现代逻辑刻画的形式前件p后件q必要条件假言命题 概念概念 反映一个事物情况是另一事物情况必要条件的假言命题 以“只有才”作为必要条件假言联结词的

37、代表 是逆蕴涵词，读作是逆蕴涵词，读作“只有只有才才”。必要条件假言联结词 真值真值1 只有海豚是兽类只有海豚是兽类，海豚才会跳跃海豚才会跳跃。2 只有海豚是兽类只有海豚是兽类，海豚才会奔跑海豚才会奔跑。3 只有海豚是鱼类只有海豚是鱼类，海豚才会游泳海豚才会游泳。4 只有海豚是鱼类只有海豚是鱼类，海豚才会飞翔海豚才会飞翔。真真假真现代逻辑逆蕴涵式真值表为：必要条件假言命题的真值可概括为：前件假后件真才假（或真蕴涵假才假）p pq qp p q qTTTTFTFTFFFT（假）（真）（假）（假）（假）（真）（真）（真）充分条件与必要条件的关系充分条件与必要条件的关系 对于任何两个事物情况p p和

38、q q，p p是q q的充分条件，则q q是p p的必要条件；p p是q q的必要条件，则q q是p p的充分条件。例如，能被4整除的数就能被2整除，前者是后者的充分条件；反过来，不能被2整除的数就不能被4整除，即后者是前者的必要条件。掌握这一关系，充分条件假言命题与必要条件假言命题就可以互相转换。但通常是用充分条件句式来表达必要条件命题的内容。例 没有共产党，就没有新中国。结构与形式结构与形式当且仅当三角形三边相等，三角才相等。当且仅当当且仅当p p，才才 q q p p q q传统逻辑刻画的形式现代逻辑刻画的形式前件p后件q充要条件假言命题 概念概念 反映一个事物情况是另一事物情况充要条件

39、的假言命题 以“当且仅当才才”作为充要条件假言联结词的代表充要条件假言联结词 是互蕴涵词，又叫等值词，读作是互蕴涵词，又叫等值词，读作“当且仅当当且仅当才才”。p p q q 称为等值式。称为等值式。真值真值1 当且仅当当且仅当8 8能被能被2 2整除整除，8 8才是偶数。才是偶数。2 当且仅当当且仅当9 9能被能被3 3整除，整除，9 9才是偶数。才是偶数。3 当且仅当当且仅当8 8能被能被3 3整除，整除，8 8才是偶数。才是偶数。4 当且仅当当且仅当9 9能被能被2 2整除，整除，9 9才是偶数。才是偶数。真假假真现代逻辑互蕴涵式(等值式)真值表为：充要条件假言命题的真值可概括为：前件、

40、后件相同才真（或真蕴涵假才假）p pq qp p q qTTTTFFFTFFFT充要条件假言命题因此又称为等值命题，也因此称为等值联结词。汉语常用两句话来表达充要条件假言命题人不犯我人不犯我,我不我不犯人犯人,人若犯我人若犯我,我必犯人我必犯人.（真）（真）（真）（真）（假）（假）（假）（假）3.1.5 负命题负命题 概念概念否定一个命题的复合命题 负命题的肢命题称为原命题，负命题的肢命题只有一个。负命题的联结词称为否定联结词，汉语中“并不”、“并非”等等都是表达否定联结词的语词。例：并非所有的鸟都会飞 用语言表达时，否定词不一定出现在原命题前面。闪光的并不都是金子。出现在原命题的中间 结构与

41、形式结构与形式并非 所有的鸟都会飞并非并非 p p p p 或或 p p 传统逻辑刻画的形式现代逻辑刻画的形式原命题p 是否定词，读作是否定词，读作“并非并非”。p 称为否定式。称为否定式。否定联结词 以“并非”作为否定联结词的代表 真值真值1 原子是可分的原子是可分的。2 人都是自私的人都是自私的。假真现代逻辑以真值表来刻画命题形式的真值，否定式真值表为：负命题的真值可概括为：与原命题相反p p p p TFFT并非人都是自私的。并非人都是自私的。并非原子是可分的。并非原子是可分的。（真）（假）3.1.6 多重复合命题多重复合命题肢命题也是复合命题的复合命题 例 只有通过各种途径获得间接经验

42、，并把间接经验和直接只有通过各种途径获得间接经验，并把间接经验和直接经验结合起来，才能获得比较深刻、完备的知识。经验结合起来，才能获得比较深刻、完备的知识。只有(p p并且q q)，才(r r并且s s)用括号可以清楚地区分出层次，消除结构歧义。多重复合命题具有多个层次，在最高层次上的联结词是主联结词，它决定多重复合命题的种类。例 没有共产党，就没有新中国。如果非p p，那么非q q3.2.1 联言推理联言推理以联言命题为前提或结论，并根据联言联结词的逻辑性质进行推导的推理。分解式联言推理分解式联言推理组合式联言推理组合式联言推理联言联言推理推理例 新方案发扬了原方案的优点，新方案发扬了原方案

43、的优点，新方案克服了原方案的新方案克服了原方案的缺点，缺点，所以，所以，新方案扬弃了原方案的优缺点新方案扬弃了原方案的优缺点。3.2 复合命题演绎推理基本类型复合命题演绎推理基本类型 p并且q，所以p p并且q p 分解式分解式以联言命题为前提，以其中部分联言肢为结论的联言推理。p并且qqp并且q，所以q或 组合式组合式以各个联言肢为前提，以联言命题为结论的联言推理。p，q，所以p并且q p qp并且q 思考：交换式联言推理思考：交换式联言推理以后此类形式不再列出，请类推 组合式组合式p，q p qp q p q 现代逻辑对联言推理形式的刻画 分解式分解式或p q qp q pp q pp q

44、 q 交换式交换式p q q p p q q p组合式联言推理交换式联言推理分解式联言推理联言推理 现代逻辑将演绎推理形式刻画为蕴涵式现代逻辑将演绎推理形式刻画为蕴涵式附录附录3.2.2 选言推理选言推理 这里的选言推理指选言直言推理，即大前提是选言命题，小前提是对选言肢的肯定或否定（直言命题），并根据选言联结词的逻辑性质进行推导的推理。例 一个演绎推理不正确，或者是前提虚假，或者是形式一个演绎推理不正确，或者是前提虚假，或者是形式无效，这个不正确的演绎推理前提不是虚假的，所以，它的无效，这个不正确的演绎推理前提不是虚假的，所以，它的形式是无效的。形式是无效的。相容选言推理相容选言推理不相容选

45、言推理不相容选言推理选言选言推理推理肯定否定式肯定否定式选言推理选言推理否定肯定式否定肯定式选言推理选言推理选言选言推理推理 相容选言推理相容选言推理肯定否定式 p或者q，p，所以非q p或者q p 非q大前提是相容选言命题的选言推理 在相容选言推理中，否定肯定式是有效式。在相容选言推理中，否定肯定式是有效式。否定肯定式 p或者q，非p，所以q p或者q 非p q注意：未列后一肢命题作小前提的情况，可类推。不相容选言推理不相容选言推理大前提是不相容选言命题的选言推理 在不相容选言推理中，肯定否定式和否定肯定式都是有效式。在不相容选言推理中，肯定否定式和否定肯定式都是有效式。肯定否定式 要么p,

46、要么q，p，所以非q 要么p,要么q p 非q否定肯定式 要么p,要么q，非p，所以q 要么p,要么q 非p q 思考：在选言推理中为何不列肯定肯定式和否定否定式？注意：未列后一肢命题作小前提的情况，可类推。（p q）p q p q p q（p q）p q p q p q现代逻辑对选言推理形式的刻画（p q）p q p q p q（p q）p q p q p q肯定否定式 肯定否定式 否定肯定式 否定肯定式 不相容选言推理不相容选言推理 相容选言推理相容选言推理附录附录3.2.3 假言推理假言推理 这里的假言推理指假言直言推理，即大前提是假言命题，小前提是对假言肢的肯定或否定（直言命题），并根

47、据假言联结词的逻辑性质进行推导的推理。肯定前件式肯定前件式假言推理假言推理 否定前件式否定前件式假言推理假言推理 肯定后件式肯定后件式假言推理假言推理 否定后件式否定后件式假言推理假言推理 假言假言推理推理例 如果停电了，隔壁教室的灯就不会亮，但隔壁教室灯如果停电了，隔壁教室的灯就不会亮，但隔壁教室灯是亮的，所以，没有停电。是亮的，所以，没有停电。假言假言推理推理必要条件必要条件假言推理假言推理 充分条件充分条件假言推理假言推理 充要条件充要条件假言推理假言推理 肯定前件式 如果p那么q，p，所以q 如果p那么q p q否定前件式 如果p那么q，非p，所以非q 如果p那么q 非p 非q肯定后件

48、式 如果p那么q，q，所以p 如果p那么q q p 如果p那么q，非q，所以非p 如果p那么q 非q 非 p否定后件式 在充分条件假言推理中，肯定前件式、否定后件式是有效式在充分条件假言推理中，肯定前件式、否定后件式是有效式 充分条件假言推理充分条件假言推理大前提是充分条件假言命题的假言推理顺推逆推现代逻辑对充分条件假言推理形式的刻画（p q）p q p q p q（p q）p q p q p q（p q）q p p q q p（p q）q p p q q p 肯定前件式 否定前件式 肯定后件式 否定后件式 附录附录肯定前件式 只有p才q，p，所以q 只有p才q p q否定前件式 只有p才q，

49、非p，所以非q只有p才q 非p 非q肯定后件式 只有p才q，q，所以p只有p才q q p只有p才q，非q，所以非p只有p才q 非q 非 p否定后件式 在必要条件假言推理中，否定前件式、肯定后件式是有效式在必要条件假言推理中，否定前件式、肯定后件式是有效式 必要条件假言推理必要条件假言推理大前提是必要条件假言命题的假言推理顺推逆推现代逻辑对必要条件假言推理形式的刻画（p q）p q p q p q（p q）p q p q p q（p q）q p p q q p（p q）q p p q q p 肯定前件式 否定前件式 肯定后件式 否定后件式 附录附录肯定前件式 当且仅当p才q，p，所以q当且仅当p

50、才q p q否定前件式 当且仅当p才q，非p，所以非q当且仅当p才q 非p 非q肯定后件式 当且仅当p才q，q，所以p当且仅当p才q q p当且仅当p才q，非q，所以非p当且仅当p才q 非q 非 p否定后件式 在充要条件假言推理中，四种形式是有效式在充要条件假言推理中，四种形式是有效式 充要条件假言推理充要条件假言推理大前提是充要条件假言命题的假言推理顺推逆推现代逻辑对充要条件假言推理形式的刻画（p q）p q p q p q（p q）p q p q p q（p q）q p p q q p（p q）q p p q q p 肯定前件式 否定前件式 肯定后件式 否定后件式 附录附录3.2.4 负命