法律逻辑学11pp课件

《法律逻辑学11pp课件》由会员分享，可在线阅读，更多相关《法律逻辑学11pp课件（361页珍藏版）》请在装配图网上搜索。

1、 逻辑学是研究抽象思维的思维形式及其规律，并涉及逻辑学是研究抽象思维的思维形式及其规律，并涉及一些逻辑方法的科学一些逻辑方法的科学 逻辑学主要研究推理形式，是正确思维与有效交际的理论，具有中国、印度、希腊三地传统，包括演绎逻辑、归纳逻辑两大部分，分为传统逻辑、现代逻辑两个体系。逻辑有悠久的历史，又方兴未艾，产生了众多分支，得到了广泛的运用，并在人类认识世界、改造世界的过程中发挥着越来越重要的作用。为提高抽象思维能力与文化素养水平，我们要努力学习和掌握逻辑知识，将之运用于思维实际中，潜移默化，提高思维素质。1.1 逻辑学的对象与内容逻辑学的对象与内容 “逻辑逻辑”的语源的语源1.1.1 “逻辑逻

2、辑”音译词音译词 “逻辑逻辑”的语义的语义多义词多义词 “逻辑”作为学科名 在我国曾有“名学”“辩学”“论理学”“理则学”等译名外来词外来词 20世纪初译自英文世纪初译自英文Logic 源于希腊文源于希腊文客观事物发展规律客观事物发展规律 思维规律思维规律 某种理论、观点或思想方法某种理论、观点或思想方法 逻辑学逻辑学 1.1.2 逻辑学的产生与发展逻辑学的产生与发展 古代中国：名学、辩学古代中国：名学、辩学古印度：古印度：因明因明古希腊：古希腊：逻辑学逻辑学发源地发源地 我们所学习的逻辑学理论知识源于古希腊的西方逻辑我们所学习的逻辑学理论知识源于古希腊的西方逻辑西方逻辑学发展史上关节点及代表

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

4、辑 我们所学习的逻辑学知识主要为基础逻辑和经典逻辑我们所学习的逻辑学知识主要为基础逻辑和经典逻辑归纳逻辑归纳逻辑 Inductive Logics 逻辑类型逻辑类型 Susan Hack Philosophy of Logics 附录附录三段论三段论 Traditional Logic 二值命题、谓词演算（狭义数理逻辑）二值命题、谓词演算（狭义数理逻辑）Classical Logic模态、时态、规范、认知、择优、祈使、问句逻辑模态、时态、规范、认知、择优、祈使、问句逻辑 Extended Logics 多值、直觉、量子、自由逻辑多值、直觉、量子、自由逻辑 Deviate Logics 逻辑分支

5、一览表逻辑分支一览表 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量子论逻辑b物理或因果模态理论2生物应用a伍杰方式的发展b控制论逻辑3社会科学应用a规范逻辑b价值逻辑c法律应用E.哲学发

6、展方面哲学发展方面1伦理应用a行为逻辑b义务逻辑c命令（祈使）逻辑d优先逻辑和选择逻辑（效益、价值、对策和决策的逻辑问题）2形而上学的逻辑应用a存在性逻辑b时序逻辑（时态、变化、过程逻辑）c部分与整体逻辑d本体学e构造性逻辑（逻辑还原主义等）f（唯名论与唯实论之争意义下的）本体论逻辑3认识论应用a问（答）逻辑b认识论逻辑（相信、知道、相干）c假设逻辑（反事实的假设推理）d信息和信息过程的逻辑e归纳逻辑4归纳逻辑a证实和确证的逻辑b概率逻辑附录附录墨经墨经 之小取，是中国古典逻辑的一个名家代表人物纲要，比较集中完整地讨论了逻辑的基本内容。墨经是墨家创始人墨翟思想的发展。后期墨家在逻辑理论方面作出

7、了重要贡献。他们对“故”、“理”、“类”古代逻辑的三个基本范畴下了明确的定义，并对“名”、“辞”、“说”作了深入研究。论述了“辟”（比喻）、“侔”（附比）、“援”（类比）、“推”（间接的归纳与演绎）四种形式的推理(见后期墨家逻辑)。这些思想，在中国古代逻辑史上占有重要地位。印度因明印度因明 从古代论辩术发展而来。先是五支论式，后发展为三支论式（宗、因、喻）。在分析正确论证和推理的同时，十分注重论证的“过”和反驳的“过”。因明于唐代传入我国并得到发展。墨子 西西方方逻逻辑辑 西方逻辑学创始人。工具论6 篇奠定了逻辑的基础。主要贡献是对三段论的系统研究。斯多葛学派于三段论之外，研究了命题逻辑。提出

8、理想语言和推理是计算的思想而成为现代逻辑的先驱。批判了形式逻辑，研究了辩证思维，构造了辩证逻辑的体系。新工具针对亚氏的演绎逻辑而提出归纳和诉诸自然和经验。三表法。揭示了思维的辩证矛盾。证明了狭谓词演算的有效公式皆可证；如果一个初等数论的形式系统一致，则它是不完全的；这种系统的一致性在本系统中不能证明，更不能用有穷方法证明。他的这些工作正面或反面地，或是部分地解答了20世纪以来数学基础问题争论的最根本或最重要的问题现代归纳逻辑的发展有两个方向：“经典”数理统计方向和由J.M.凯因斯和F.P.拉姆齐开创，流行于5080年代初期的贝叶斯运动。20世纪中叶以来，美国的P.J.科恩用模态逻辑作为处理归纳

9、推理的工具。科恩指出，支持度可列为不同的等级，不同等级的支持度，就是证据给予假设不同等级的必然性，一个被证明了的理论就是由较低级的必然性达到较高级的必然性。把概率作为一个逻辑概念来处理，区别于以相对频率为根据的统计概率。逻辑概率是一切不具有演绎必然性的归纳推理的基础，关于逻辑概率的理论就是归纳逻辑。它可给出假说的相对于给定证据的确认度严格的因果陈述只是概率陈述的极限情况，科学中尤其是量子力学中的因果概念，并不一定要求概率接近于 1。一切科学陈述均是概率陈述，科学的逻辑是取值为区间01上的全部实数的概率逻辑1.1.3 逻辑学研究对象逻辑学研究对象逻辑学研究思维形式及其规律以及与之相关的逻辑方法逻

10、辑学研究思维形式及其规律以及与之相关的逻辑方法 思维形式思维形式例例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。不同具体思维内容的反映方式以及其中各部分的联系方式不同具体思维内容的反映方式以及其中各部分的联系方式 我们所学习的逻辑学理论知识重点考察推理形式我们所

11、学习的逻辑学理论知识重点考察推理形式2.思维形式是不同思维形式是不同语言形式语言形式的共性的共性例例3 合同合同一有效有效就有约束力有约束力。例例2 只要合同有效合同有效；它它就有约束力有约束力。例例1 如果合同有效合同有效，那么它有约束力它有约束力。如果p p，那么q q。3.思维形式是思维形式是逻辑常项和逻辑变项的统一逻辑常项和逻辑变项的统一 逻辑常项是思维形式中的不变部分，它决定思维形式的特性和思维形式的关系。逻辑变项是思维形式中的可变部分，它根据情况可代入命题变项或词项变项。如果如果 p p，那么，那么 q q 。所有所有 S S 是是 P P。逻辑常项逻辑常项逻辑常项逻辑常项逻辑变项

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

13、、程序、规则 我们所学习的逻辑学理论知识只包括简单的逻辑方法我们所学习的逻辑学理论知识只包括简单的逻辑方法平等财产关系平等财产关系平等人身关系平等人身关系 我国民法我国民法 调整对象调整对象 纵向财产关系纵向财产关系纵向人身关系纵向人身关系1.2 逻辑学的性质与作用逻辑学的性质与作用 人类性人类性 人文性人文性 基础性基础性 工具性工具性1.2.1 逻辑学的性质逻辑学的性质在抽象思维领域内为人们提供一般规则、方法等逻辑工具在抽象思维领域内为人们提供一般规则、方法等逻辑工具 所有人都要遵守同样的逻辑规律，运用同样的思维形式所有人都要遵守同样的逻辑规律，运用同样的思维形式 每一门科学都要以思想和概

14、念的形式来把握自己的对象，每一门科学都要以思想和概念的形式来把握自己的对象，所以都可以说是应用逻辑所以都可以说是应用逻辑 不仅作为一种人文存在，学科对象本身即具有人文内容，不仅作为一种人文存在，学科对象本身即具有人文内容，是社会理性化的支柱性学科是社会理性化的支柱性学科 1.2.2 逻辑学的作用逻辑学的作用 认识方面认识方面 交际方面交际方面 批判方面批判方面探求新知探求新知 正确认知正确认知 准确表达准确表达 完整理解完整理解 破斥诡辩破斥诡辩 识别谬误识别谬误 甚至形式逻辑也首先是探寻新结果的方法，由已知进到未知的方法。史鉴使人明智,诗歌使人巧慧,数学使人精微,博物使人深沉,伦理之学使人庄

15、重,逻辑与修辞使人善辩使我佩服的是列宁演说中那种不可战胜的逻辑力量，这种逻辑力量紧紧地抓住听众，一步一步地感染听众，然后把听众俘虏得一个不剩。如果我们有了正确的前提，并将这些前提正确地运用到推理中，我们的认识必定与现实相符。说话、写文章要讲逻辑。1.4 逻辑学的研究与学习逻辑学的研究与学习1.4.1 逻辑学的研究方法逻辑学的研究方法 形式化方法形式化方法 非形式化方法非形式化方法传统逻辑以非形式化的方法研究，基本上是用自然语言传统逻辑以非形式化的方法研究，基本上是用自然语言来各别描述命题形式和推理形式来各别描述命题形式和推理形式 现代逻辑以形式化和系统化的方法研究，构造形式语言，现代逻辑以形式

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

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

18、课堂要理解，课后要练习、日常要运用，理论联系实际理论联系实际。根据逻辑学的作用，端正学习态度，提高学习的自觉性和根据逻辑学的作用，端正学习态度，提高学习的自觉性和积极性，变自发地遵守、运用逻辑为自觉积极性，变自发地遵守、运用逻辑为自觉。1.4.3 法律逻辑学的特点法律逻辑学的特点 应用逻辑应用逻辑 将逻辑学的基本知识和基本原理应用于法律与司法活动过将逻辑学的基本知识和基本原理应用于法律与司法活动过程，探讨涉法思维活动的一般逻辑形式与逻辑规律。程，探讨涉法思维活动的一般逻辑形式与逻辑规律。结合法律与司法活动思维的特殊性结合法律与司法活动思维的特殊性,研究涉法思维活动的特研究涉法思维活动的特殊思维

19、形式及其合理性规则。殊思维形式及其合理性规则。推理是从若干命题直接得出一个命题的思维过程及思维形态推理是从若干命题直接得出一个命题的思维过程及思维形态 推理尤其是推理形式是逻辑学研究的主体，不同推理尤其是推理形式是逻辑学研究的主体，不同逻辑系统正是由于所研究的推理及其形式不同、用于逻辑系统正是由于所研究的推理及其形式不同、用于研究推理及其形式之方法的不同而形成的，逻辑的学研究推理及其形式之方法的不同而形成的，逻辑的学习重点也因此而包含上述两个方面的内容。为此，首习重点也因此而包含上述两个方面的内容。为此，首先应了解推理的种类、构成成分、以及逻辑性质等一先应了解推理的种类、构成成分、以及逻辑性质

20、等一般性知识，为进一步的学习打下基础。在这些知识当般性知识，为进一步的学习打下基础。在这些知识当中，有关概念、命题的知识是预备知识，因为推理主中，有关概念、命题的知识是预备知识，因为推理主要由命题构成，而命题归根结底又由概念构成。要由命题构成，而命题归根结底又由概念构成。推理的构成成分可以分析到命题，也可以进一步推理的构成成分可以分析到命题，也可以进一步分析到词项。分析到词项。例例1 1 分析到命题分析到命题只有年满十八岁(p p)，才有选举权(q q)；他有选举权(p p)；所以，他年满十八岁(q q)。例例2 2 分析到词项分析到词项物权(M)是财产权(P)；抵押权(S)是物权(M)；所以

21、，抵押权(S)是财产权(P)。2.1 推理的构成成分推理的构成成分2.1.1 词项词项 词项是概念及其语言形式的统一体概念是反映对象特有属性的思维形态概念是反映对象特有属性的思维形态语词是词和词组的统称语词是词和词组的统称概念与语词的关系不是对应的：1.概念必须通过语词来表达概念必须通过语词来表达,但并非所有语词都表达概念但并非所有语词都表达概念2.同一概念可用不同语词表达同一概念可用不同语词表达;不同概念可用同一语词表达不同概念可用同一语词表达 概念概念 语词语词 特有属性特有属性特有属性是只为某对象都有的属性特有属性是只为某对象都有的属性(包括性质与关系包括性质与关系)词项包括逻辑词项（逻

22、辑小品词）和非逻辑词项（主项词项包括逻辑词项（逻辑小品词）和非逻辑词项（主项及谓项）及谓项）2.1.2 命题命题命题是反映对象情况的思维形态命题与语句的关系不是对应的：1.命题必须通过语句来表达命题必须通过语句来表达,但并非所有语句都表达命题但并非所有语句都表达命题2.同一命题可用不同语句表达同一命题可用不同语句表达;不同命题可用同一语句表达不同命题可用同一语句表达判断是被断定了的命题 命题的逻辑性质：有真假。命题的真假性质统称命题的逻辑性质：有真假。命题的真假性质统称为命题的真值。为命题的真值。二值逻辑：将命题的真值限定为真假两种的逻辑，二值逻辑：将命题的真值限定为真假两种的逻辑，此外还有三

23、值逻辑、多值逻辑等。此外还有三值逻辑、多值逻辑等。判断判断陈述是命题及其语言形式的统一体命题形式是命题内容在真假方面的联系方式 模态命题简单命题（变项词项）复合命题（变项命题）非模态命题另一种分类命题命题命题命题注：一般先分模态与否，再分复合与否 命题形式命题形式 命题种类命题种类以命题本身是否包含其他命题为标准 以命题中是否含有模态词为标准 模态命题非模态命题命题命题简单命题复合命题真值模态命题广义模态命题真值模态简单命题真值模态复合命题广义模态简单命题广义模态复合命题性质命题关系命题负命题联言命题选言命题假言命题命题体系命题体系附录附录2.2 推理的组成部分推理的组成部分有价证券是物，股票

24、是有价证券，所以，股票是物前 提推理由前提、结论、推理联项三部分组成结 论推理联项 在自然语言中，在自然语言中，“由此可见由此可见”、“总而言之总而言之”、“综上所综上所述述”等也表达推理联项等也表达推理联项。2.3 推理的逻辑性质推理的逻辑性质 推理在形式方面确定前提与结论之间真假联系程度的性质 推理中前提的命题形式与结论的命题形式之间的联系方式 有的犯罪主体是单位，有的犯罪主体是单位，所以，有的单位是犯罪主体。所以，有的单位是犯罪主体。推理形式推理形式结论命题前提命题结论命题形式 有有 S S 是是 P P所以所以,有有 P P 是是 S S前提命题形式2.3.1 推理的有效性推理的有效性

25、 即推理形式的有效性，指推理形式是否具有从真前提必然推出真结论的性质。能保证从真前提必然推出真结论的推理形能保证从真前提必然推出真结论的推理形式是有效的，否则就不是有效的。式是有效的，否则就不是有效的。正确的推理正确的推理=推理形式有效推理形式有效+推理前提真实。推理前提真实。推理的内容真假与形式对错之关系推理的内容真假与形式对错之关系前提前提形式形式结论结论推理推理实例实例1 真实+有效真实=正确有偶数是素数，所以，有素数是偶数。2 真实+有效虚假=3 真实+无效真实=错误有学生不是青年，所以，有青年不是学生。4 真实+无效虚假=错误金属是导体，所以，导体是金属。5 虚假+有效真实=错误博士

26、是教授，所以，有教授是博士。6 虚假+有效虚假=错误等边三角形不是等角的，所以，等角三角形不是等边的。7 虚假+无效真实=错误有昆虫不是六足动物，所以，有六足动物不是昆虫。8 虚假+无效虚假=错误原子是不可分的，所以，不可分的是原子。附录附录2.3.2 推理的可靠度推理的可靠度 即推理形式的可靠度，指推理形式具有从真前提或然推出真结论的可靠程度。可靠度的值可投射到（可靠度的值可投射到（0，1上。上。可靠度的值可靠度的值=1实际上就是有效的。实际上就是有效的。2.4 推理的种类推理的种类演绎推理演绎推理归纳推理归纳推理类比推理类比推理必然性推理必然性推理或然性推理或然性推理复合命题推理复合命题推

27、理非模态推理非模态推理模态推理模态推理 推理推理 推理推理简单命题推理简单命题推理其他分类传统逻辑主要分类传统逻辑主要分类现代逻辑主要分类现代逻辑主要分类推推理理推推理理以推理进程为标准以推理性质为标准与命题的分类配套模态推理非模态推理推理推理演绎推理真值模态推理广义模态推理性质命题演绎推理关系命题演绎推理推理体系推理体系复合命题演绎推理简单命题演绎推理归纳推理类比推理命题逻辑（推理）谓词逻辑（推理）对对词项逻辑（推理）附录附录应应 复合命题演绎推理是传统逻辑的重要组成部分。传统逻辑以非形式化的方法，首先研究了复合命题的种类、结构及其逻辑性质，在此基础上进而分别研究复合命题推理的形式、规则等，

28、以使人们能识别、分析复合命题及其推理运用中的逻辑错误，能在日常思维中自觉运用有效的复合命题推理形式，得出合乎逻辑的结论。为了能更好地帮助学习，在本章内容讲述中引进了现代逻辑的真值表。复合命题演绎推理是将推理的构成成分只分析到命题变项的演绎推理。3.1.1 复合命题概述复合命题概述 包含其他命题，并且其真假由所包含命题的真假所决定的命题。概念概念例例2:物具有需要性物具有需要性，而且物具有稀缺性，而且物具有稀缺性。例例1:并非所有的被告人都是有罪的。并非所有的被告人都是有罪的。所包含的命题所包含的命题所包含的命题3.1 复合命题复合命题 构成构成肢命题命题联结词物具有需要性物具有需要性，并且，并

29、且 物具有稀缺性物具有稀缺性。复合命题所包含的命题叫做肢命题（或支命题）。复合命题在肢命题的数量上、种类上都可以有所不同。一个肢命题的复合命题称之为一肢复合命题，两个肢命题的复合命题称之为二肢复合命题，依次类推。如果肢命题还是复合命题，则叫做多重复合命题，否则就是一般的复合命题。复合命题由命题联结词将肢命题联结起来而构成 命题联结词简称为联结词，它将肢命题联结起来。联结词主要反映真假方面的联结关系，不同的联结词所反映的真假方面联结关系也不同。复合命题形式中的逻辑常项在传统逻辑中以特定的自然语词来表示，在现代逻辑中以符号来表示。它决定复合命题的种类、逻辑性质等，成为逻辑研究的重点。复合命题形式中

30、的命题变项，一般以p p、q q、r r 等符号按序表示。形式形式（以二肢复合命题为例）（以二肢复合命题为例）物具有需要性物具有需要性，并且，并且 物具有稀缺性物具有稀缺性。p pq q并且并且命题变项命题变项逻辑常项 复合命题形式是由命题联结词与命题变项组成的表达式。种类种类负命题联言命题选言命题假言命题复合命题模态命题单独处理，在谈到简单命题、复合命题时，若不另加说明，均指非模态命题。以命题联结词的逻辑性质为标准 3.1.2 联言命题联言命题 概念概念反映若干事物情况共存的复合命题 联言命题的肢命题简称为联言肢，联言肢至少有两个。我们主要考察二肢联言命题。联言命题的联结词简称为联言联结词，

31、汉语中“并”、“既，又”、“不但而且”“虽然，但是”等等都是表达联言联结词的语词。例：读书是学习，使用也是学习，而且是更重要的学习。在日常生活中，联言命题常用省略的语言形式表达。1 虚心使人进步，骄傲使人落后。2 世界是多样的，又是统一的。省略联结词 省略相同的主语 省略并凝缩成单句 结构与形式结构与形式物具有需要性物具有需要性，并且物具有稀缺性，并且物具有稀缺性。p p 并且并且 q q p p q q传统逻辑刻画的形式现代逻辑刻画的形式第一联言肢p p第二联言肢q q3学习理论与调查研究都很重要。是合取词，读作是合取词，读作“并且并且”。p p q q 称为合取式称为合取式。联言联结词 以

32、“并且”作为联言联结词的代表 真值真值现代逻辑合取式真值表为：联言命题的真值可概括为：肢命题都真才真p pq qp p q qTTTTFFFTFFFF1赠与合同是无偿的、赠与合同是无偿的、单务的单务的。2赠与合同是无偿的赠与合同是无偿的、双务的。双务的。3赠与合同是有偿的赠与合同是有偿的、单务的单务的。4赠与合同是有偿的赠与合同是有偿的、双务的双务的。真假假假（真）（真）（真）（假）（假）（假）（假）（真）事理关系、心理关系与逻辑关系事理关系、心理关系与逻辑关系“理实难恕，情有可原”之类转折复句原理与此相同她不但结婚了，还生了小孩。比较：她不但生了小孩，还结婚了。事理关系心理关系逻辑关系递进递

33、进同真她不但会唱歌，还会跳舞。事理关系心理关系逻辑关系并列递进同真比较：她不但会跳舞，还会唱歌。附录附录3.1.3 选言命题选言命题 概念概念反映若干事物情况中至少有一个存在的复合命题 选言命题的肢命题简称为选言肢，选言肢至少有两个。我们主要考察二肢选言命题。选言命题的联结词简称为选言联结词，汉语中“或者”、“或或”、“要么要么”等等都是表达选言联结词的语词。选言联结词是不可省略的。例：或者承担违约责任，或者承担侵权责任。在日常生活中，选言命题也可用省略的语言形式表达。1 冠军或者是法国队，或者是巴西队。省略相同的主语 省略并凝缩成单句 2法是由国家制定或认可的。种类种类以选言命题是否反映若干

34、事物情况可以共存为标准 选言命题相容选言命题不相容选言命题 结构与形式结构与形式或者承担违约责任，或者承担侵权责任。p p 或者或者 q q p p q q传统逻辑刻画的形式现代逻辑刻画的形式第一选言肢p p第二选言肢q q相容选言命题 概念概念 反映若干事物情况至少有一个存在并且可以共存的选言命题 是析取词，读作是析取词，读作“或者或者”。p p q q 称为析取式。称为析取式。以单用的“或者”作为相容选言联结词的代表相容选言联结词 真值真值1曹操或者是文学家曹操或者是文学家，或者是军事家或者是军事家。2曹操或者是文学家曹操或者是文学家，或者是化学家或者是化学家。3曹操或者是数学家曹操或者是

35、数学家，或者是军事家或者是军事家。4曹操或者是数学家曹操或者是数学家，或者是化学家或者是化学家。真真真假现代逻辑析取式真值表为：相容选言命题的真值可概括为：肢命题都假才假p pq qp p q qTTTTFTFTTFFF（真）（真）（真）（真）（假）（假）（假）（假）结构与形式结构与形式要么鱼死，要么网破。要么要么p p，要么要么q q p p q q传统逻辑刻画的形式现代逻辑刻画的形式第一选言肢p p第二选言肢q q不相容选言命题 概念概念 反映若干事物情况至少有一个存在并且不能共存（至多有一个存在）的选言命题 以“要么要么”作为不相容选言联结词的代表 是严格析取词，读作是严格析取词，读作“

36、要么要么，要么，要么”。不相容选言联结词 真值真值1 6要么是偶数要么是偶数，要么是正数要么是正数。2 6要么是偶数要么是偶数，要么是负数要么是负数。3 6要么是奇数要么是奇数，要么是正数要么是正数。4 6要么是奇数要么是奇数，要么是负数要么是负数。假真真假现代逻辑严格析取式真值表为：不相容选言命题的真值可概括为：一个肢命题真时才真p pq qp p q qTTFTFTFTTFFF（真）（真）（真）（真）（假）（假）（假）（假）选言命题的几个问题选言命题的几个问题 选言肢穷尽选言肢穷尽 选言肢穷尽的相容选言命题一定是真命题，但真的相容选言命题不一定是选言肢穷尽的。选言命题种类识别选言命题种类识

37、别 用“或者”联结的命题一般为相容选言命题，但“或者武松把老虎打死，或者老虎把武松吃掉，二者必居其一”句中虽然用的是“或者”，由于“二者必居其一”否定了二者都是的情况，进行了限定，因而是严格析取命题。严格析取联结词严格析取联结词 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 rTTTFTFTTFFFFTFTTFFTFFTTTFTTTFFFTFTTTFFTFTT

38、FFFFFF三肢不相容选言命题真值表3.1.4 假言命题假言命题 概念概念反映两个事物情况条件关系的复合命题 假言命题的肢命题简称为假言肢，由于假言肢只有两个，便将第一个假言肢称为前件，第二个假言肢称为后件。假言命题的联结词简称为假言联结词，汉语中“只要就”、“只有才”、“假使那么”等等都是表达假言联结词的语词。假言联结词有的可省略。例：只要功夫深，铁杵磨成针。在日常生活中，假言命题也可以省略的语言形式表达。1 欲穷千里目，更上一层楼。省略联结词 省略并凝缩成单句 2你请他才来。种类种类以假言联结词所反映的条件关系种类为标准 假言命题充分条件假言命题充要条件假言命题必要条件假言命题 条件关系条

39、件关系 条件充分条件充要条件必要条件有之必然的条件，即在事物情况p p与q q之间，有p p一定有q q 无之必不然的条件，即在事物情况p p与q q之间，无p p一定无q q 有之必然、无之必不然的条件，即在事物情况p p与q q之间，有p p一定有q q，无p p一定无q q 结构与形式结构与形式如果摩擦物体，那么物体生热。如果如果p p，那么那么 q q p p q q传统逻辑刻画的形式现代逻辑刻画的形式前件p p后件q q充分条件假言命题 概念概念 反映一个事物情况是另一事物情况充分条件的假言命题 以“如果那么”作为充分条件假言联结词的代表充分条件假言联结词 是蕴涵词，读作是蕴涵词，读

40、作“如果如果那么那么”。p p q q 称为蕴涵式。称为蕴涵式。（严格地说应为实质蕴涵词）真值真值1 如果铜是金属如果铜是金属，那么铜是导体那么铜是导体。2 如果铜是金属如果铜是金属，那么铜是金子那么铜是金子。3 如果水是汽油如果水是汽油，那么水是饮料那么水是饮料。4 如果水是汽油如果水是汽油，那么水是燃料那么水是燃料。真假真真现代逻辑蕴涵式真值表为：充分条件假言命题的真值可概括为：前件真后件假才假（概括为真蕴涵假才假就可适用于全部假言命题）p pq qp p q qTTTTFFFTTFFT（真）（真）（真）（真）（假）（假）（假）（假）注意蕴涵怪论 即假命题蕴涵任何命题 结构与形式结构与形式

41、只有认识错误，才能改正错误。只有只有p p，才才 q q p p q q传统逻辑刻画的形式现代逻辑刻画的形式前件p p后件q q必要条件假言命题 概念概念 反映一个事物情况是另一事物情况必要条件的假言命题 以“只有才”作为必要条件假言联结词的代表 是逆蕴涵词，读作是逆蕴涵词，读作“只有只有才才”。必要条件假言联结词 真值真值1 只有海豚是兽只有海豚是兽，海豚才会跃海豚才会跃。2 只有海豚是兽只有海豚是兽，海豚才会走海豚才会走。3 只有海豚是鱼只有海豚是鱼，海豚才会游海豚才会游。4 只有海豚是鸟只有海豚是鸟，海豚才会飞海豚才会飞。真真假真现代逻辑逆蕴涵式真值表为：必要条件假言命题的真值可概括为：

42、前件假后件真才假（或真蕴涵假才假）p pq qp p q qTTTTFTFTFFFT（假）（真）（假）（假）（假）（真）（真）（真）充分条件与必要条件的关系充分条件与必要条件的关系 对于任何两个事物情况 p p 和q q，p p是q q 的充分条件，则q q是p p的必要条件；p p是q q的必要条件，则q q是p p的充分条件。例如，能被4整除的数就能被2整除，前者是后者的充分条件；反过来，不能被2整除的数就不能被4整除，即后者是前者的必要条件。掌握这一关系，充分条件假言命题与必要条件假言命题就可以互相转换。但通常是用充分条件句式来表达必要条件命题的内容。例 没有共产党，就没有新中国。结构与

43、形式结构与形式当且仅当三角形三边相等，三角才相等。当且仅当当且仅当p p，才才 q q p p q q传统逻辑刻画的形式现代逻辑刻画的形式前件p p后件q q充要条件假言命题 概念概念 反映一个事物情况是另一事物情况充要条件的假言命题 以“当且仅当才才”作为充要条件假言联结词的代表 是互蕴涵词，又叫等值词，读作是互蕴涵词，又叫等值词，读作“当且仅当当且仅当才才”。p p q q 称为等值式。称为等值式。充要条件假言联结词 真值真值1 当且仅当当且仅当8 8能被能被2 2整除整除，8 8才是偶数。才是偶数。2 当且仅当当且仅当9 9能被能被3 3整除，整除，9 9才是偶数。才是偶数。3 当且仅当

44、当且仅当8 8能被能被3 3整除，整除，8 8才是偶数。才是偶数。4 当且仅当当且仅当9 9能被能被2 2整除，整除，9 9才是偶数。才是偶数。真假假真现代逻辑互蕴涵式(等值式)真值表为：充要条件假言命题的真值可概括为：前件、后件相同才真（或真蕴涵假才假）p pq qp p q qTTTTFFFTFFFT充要条件假言命题因此又称为等值命题，也因此称为等值联结词。汉语常用两句话来表达充要条件假言命题人不犯我人不犯我,我不我不犯人犯人,人若犯我人若犯我,我必犯人我必犯人.（真）（真）（真）（真）（假）（假）（假）（假）3.1.5 负命题负命题 概念概念否定一个命题的复合命题 负命题的肢命题称为原命

45、题，负命题的肢命题只有一个。负命题的联结词称为否定联结词，汉语中“并不”、“并非”等等都是表达否定联结词的语词。例：并非所有的物都是可流通的 用语言表达时，否定词不一定出现在原命题前面。合同并不都是有效的。出现在原命题的中间 结构与形式结构与形式并非所有的物都是可流通的并非并非 p p p p 或或 p p 传统逻辑刻画的形式现代逻辑刻画的形式原命题p p 是否定词，读作是否定词，读作“并非并非”。p p 称为否定式。称为否定式。否定联结词 以“并非”作为否定联结词的代表 真值真值1 原子是可分的原子是可分的。2 人都是自私的人都是自私的。假真现代逻辑以真值表来刻画命题形式的真值，否定式真值表

46、为：负命题的真值可概括为：与原命题相反p p p p TFFT并非人都是自私的。并非人都是自私的。并非原子是可分的。并非原子是可分的。（真）（假）3.1.6 多重复合命题多重复合命题肢命题也是复合命题的复合命题 例 只有通过各种途径获得间接经验，并把间接经验和直接只有通过各种途径获得间接经验，并把间接经验和直接经验结合起来，才能获得比较深刻、完备的知识。经验结合起来，才能获得比较深刻、完备的知识。只有(p p并且q q)，才(r r并且s s)用括号可以清楚地区分出层次，消除结构歧义。多重复合命题具有多个层次，在最高层次上的联结词是主联结词，它决定多重复合命题的种类。例 没有共产党，就没有新中

47、国。如果非p p，那么非q q3.2.1 联言推理联言推理以联言命题为前提或结论，并根据联言联结词的逻辑性质进行推导的推理。分解式联言推理分解式联言推理组合式联言推理组合式联言推理联联言言推推理理例 新方案发扬了原方案的优点，新方案发扬了原方案的优点，新方案克服了原方案的新方案克服了原方案的缺点，缺点，所以，所以，新方案扬弃了原方案的优缺点新方案扬弃了原方案的优缺点。3.2 复合命题演绎推理基本类型复合命题演绎推理基本类型 p p并且q q，所以p p p p并且q q p p 分解式分解式以联言命题为前提，以其中部分联言肢为结论的联言推理。p p并且q qq qp p并且q q，所以q q或

48、 组合式组合式以各个联言肢为前提，以联言命题为结论的联言推理。p p，q q，所以p p并且q q p p q qp p并且q q 思考：交换式联言推理思考：交换式联言推理以后此类形式不再列出，请类推 组合式组合式p，q p qp q p q 现代逻辑对联言推理形式的刻画 分解式分解式或p q qp q pp q pp q q 交换式交换式p q q p p q q p组合式联言推理交换式联言推理分解式联言推理联言推理 现代逻辑将演绎推理形式刻画为蕴涵式现代逻辑将演绎推理形式刻画为蕴涵式附录附录3.2.2 选言推理选言推理 这里的选言推理指选言直言推理，即大前提是选言命题，小前提是直言命题（对

49、选言肢的肯定或否定），并根据选言联结词的逻辑性质进行推导的推理。例 一个演绎推理不正确，或者是前提虚假，或者是形式一个演绎推理不正确，或者是前提虚假，或者是形式无效，这个不正确的演绎推理前提不是虚假的，所以，它的无效，这个不正确的演绎推理前提不是虚假的，所以，它的形式是无效的。形式是无效的。相容选言推理相容选言推理不相容选言推理不相容选言推理选言选言推理推理肯定否定式肯定否定式选言推理选言推理否定肯定式否定肯定式选言推理选言推理选言选言推理推理 相容选言推理相容选言推理肯定否定式 p p或者q q，p p，所以非q q p p或者q q p p 非q q大前提是相容选言命题的选言推理 在相容选

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

51、式和否定否定式？注意：未列后一肢命题作小前提的情况，可类推。（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 假言推理假言推理 这里的假言推理指假言直言推理，即大前提是假言命题，小前提是直言命题（对假言肢的肯定或否定），并根据假言联结词的逻辑性质进行推导的推理。肯定前件式假言推理 否定前件式假言推理 肯定后件式假言推理 否定后件式假言推理 假言推理例 如果停电了，隔壁教

52、室的灯就不会亮，但隔壁教室灯如果停电了，隔壁教室的灯就不会亮，但隔壁教室灯是亮的，所以，没有停电。是亮的，所以，没有停电。假言推理必要条件假言推理 充分条件假言推理 充要条件假言推理 肯定前件式 如果p p那么q q，p p，所以q q 如果p p那么q q p p q q否定前件式 如果p p那么q q，非p p，所以非q q 如果p p那么q q 非p p 非q q肯定后件式 如果p p那么q q，q q，所以p p 如果p p那么q q q q p p 如果p p那么q q，非q q，所以非p p 如果p p那么q q 非q q 非p p否定后件式 在充分条件假言推理中，肯定前件式、否定

53、后件式是有效式在充分条件假言推理中，肯定前件式、否定后件式是有效式 充分条件假言推理充分条件假言推理大前提是充分条件假言命题的假言推理顺推逆推现代逻辑对充分条件假言推理形式的刻画（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 p才q q，p p，所以q q 只有p p才q q p p q q否定前件式 只有p p才q q，非p p，所以非q q只有p p才q q 非p p 非q q肯定后件式 只有p p才q q，q q，所以p p只有p

54、p才q q q q p p只有p p才q q，非q q，所以非p p只有p p才q q 非q q 非 p 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 p才才q q，p p，所以所以q q当且仅当p

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

56、 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 负命题推理负命题推理根据负命题与其等值命题之间逻辑关系进行推导的推理，因而这里所介绍的负命题推理除了都是有效的外，还都是可以互推的。联言命题的负命题推理相容选言命题的负命题推理负命题的负命题推理不相容选言命题的负命题推理充分条件假言命题的负命题推理必要条件假言命题的负命题推理充要条件假言命题的负命题推理负命题推理例 并非价廉物美，所以，或者价不廉或者物不美。所以，或者价不廉或者物不美。并非(p p并且q q)，所以非p p或者非q q

57、 并非(p p并且q q)所以非p或者非q q 并非(p p或者q q)，所以非p p并且非q q 并非(p p或者q q)所以非p p并且非q q 并非(要么p p，要么q q)，所以(p p并且q q)或者(非p p并且非q q)并非(要么p p，要么q)q)所以(p p并且q q)或者(非p p并且非q q)并非(如果p p，那么q q)，所以p p并且非q q 并非(如果p p，那么q q)所以p p并且非q q 并非(只有p p，才q q)，所以非p p并且q q 并非(只有p p，才q q)所以非p p并且q q 并非(当且仅当p p，才q q)，所以(p p并且非q q)或者(非

58、p p并且q q)并非(当且仅当p p，才q q)所以(p p并且非q q)或者(非p p并且q q)并非(非p p)所以p p 并非(非p p)，所以p p 联言命题的负命题推理相容选言命题的负命题推理不相容选言命题的负命题推理充分条件假言命题的负命题推理必要条件假言命题的负命题推理充要条件假言命题的负命题推理负命题的负命题推理现代逻辑对负命题推理形式的刻画(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)p (p q)p q (p q)p q (p q)(p q)(p q)(p q)p q (p

59、 q)p q (p q)(p q)(p q)(p)p 否定合取得析取分配否定到命题否定析取得合取分配否定到命题一负得负，负负得正附录附录写出负命题的等值命题之方法写出负命题的等值命题之方法 口诀法口诀法 真值表法真值表法一负得负，负负得正否定合取得析取，否定析取得合取(p qp q)p pq qp p q q（p p q q）TTTFTFFTFTTFFFTF 第二行为真，前面为p 真且q假，将q假改为 q真，略去“真”，即为p q(p qp q)p pq qp p q q（p p q q）TTTFTFFTFTFTFFTF 第二、四行为真，前面分别为p 真且q假，p假且q真，改写后为p q、p

60、q，再用联结附录附录3.2.5 假言易位推理假言易位推理以假言命题为前提，通过变换前提中前、后件位置而进行推导的推理，是一种纯假言推理。这里介绍充分条件假言易位推理，它们可以互推。其他假言易位推理可由此举一反三。如果p p，那么q q，所以只有q q，才p p 如果p p，那么q q，所以如果非q q，那么非p p 充分条件假言易位推理充分条件假言易位推理 充分条件假言易位换质推理充分条件假言易位换质推理如果p p，那么q q只有q q，才p p 如果p p，那么q q如果非q q，那么非p p 根据前面我们所讲的两种条件之间互逆关系来推导 例 只有认识错误，才能改正错误，所以，如果改正了只有

61、认识错误，才能改正错误，所以，如果改正了错误，那么已认识到了错误。错误，那么已认识到了错误。(p q)(q p)(p q)(q p)充分条件假言易位推理充分条件假言易位推理 充分条件假言易位换质推理充分条件假言易位换质推理p qq p p qq p现代逻辑对假言易位推理形式的刻画(p q)(q p)(p q)(q p)必要条件假言易位推理必要条件假言易位推理 必要条件假言易位换质推理必要条件假言易位换质推理p qq p p qq p附录附录3.2.6 假言联锁推理假言联锁推理以两个或两个以上假言命题为前提推出一个假言命题为结论的推理，是一种纯假言推理。这里介绍充分条件假言联锁推理，其他假言联锁

62、推理可由此举一反三。充分条件假言联锁推理充分条件假言联锁推理肯定式 如果p p，那么q q如果q q，那么r r如果p p，那么r r否定式 如果p p，那么q q如果q q，那么r r如果非r r，那么非p p如果p p，那么q q；如果q q，那么r r；所以如果p p，那么r r如果p p，那么q q；如果q q，那么r r；所以如果非r r，那么非p p例 名不正则言不顺，言不顺则事不成，所以，名不正名不正则言不顺，言不顺则事不成，所以，名不正则事不成。则事不成。充分条件假言联锁推理充分条件假言联锁推理现代逻辑对假言联锁推理形式的刻画 必要条件假言易位推理必要条件假言易位推理肯定式 否

63、定式 肯定式 否定式 p qq r p r p q q r r p p q q r p r p qq r r p(p q)(q r)(p r)(p q)(q r)(r p)(p q)(q r)(p r)(p q)(q r)(r p)附录附录 假设前提推理法假设前提推理法 充分条件假言联锁推理肯定式的有效性可用前面所讲的充分条件假言推理肯定前件式来解释。当我们有“如果p p，那么q q”的前提时，我们先假设p p为真，而根据充分条件假言推理肯定前件式，就要在p p真的假设下得出q q真。第二个前提是“如果q q，那么r r”，同理，又要在p p真的假设下得q q真后，再得出r r真，即r r真最

64、终依赖于p真。由于这一假设是充分的，我们就可以用“如果p p，那么r r”来反映，而它正是充分条件假言联锁推理肯定式的结论。充分条件假言联锁推理否定式的有效性则可用充分条件假言推理否定后件式来解释，前面所讲的充分条件假言易位、换质推理也是如此 3.2.7 假言选言推理假言选言推理 以假言命题与选言命题为前提，根据它们的逻辑性质推导的推理。这里介绍其中的二难推理：由两个充分条件假言命题以及一个二肢的相容选言命题为前提的假言选言推理，由于结论常常使人左右为难，不好选择而得名。破坏式 复杂式 简单式 构成式 二难推理二难推理结论是否定性命题结论是肯定性命题结论是选言命题结论是直言命题 组合起来有四种

65、：简单构成式、简单破坏式、复杂构成式、复杂破坏式 例 欲寄征衣君不还，不寄征衣君又寒，寄与不寄间，欲寄征衣君不还，不寄征衣君又寒，寄与不寄间，妾身千万难。妾身千万难。如果p p，那么r r；如果q q，那么r r；p p或者q q；所以r r如果p p，那么r r 如果q q，那么r rp p或者q q所以r r如果p p，那么q q；如果p p，那么r r；非q q 或者非r r；所以非p p如果p p，那么q q如果p p，那么r r非q q或者非r r所以非p p如果p p，那么q q；如果r r，那么s s；p p或者或者r r；所以所以q q或者或者 s s 如果p p，那么q q如

66、果r r，那么s sp p或者r r所以q q或者 s s 如果p p，那么q q；如果r r，那么s s；非q q或者非 s s；所以非p p或者非r r如果p p，那么q q如果r r，那么s s非q q 或者非s s所以非p p或者非r r简单构成式 简单破坏式 复杂构成式 复杂破坏式 现代逻辑对二难推理形式的刻画p rq rp qr简单构成式 p qp r q r p简单破坏式 p qr sp rq sp qr s q s p r复杂构成式 复杂破坏式 (p r)(q r)(p q)r(p q)(p r)(q r)p(p q)(r s)(p r)(q s)(p q)(r s)(q s)(p r)附录附录3.2.7 归谬推理归谬推理现代逻辑式 传统逻辑式 如果p p，那么q q；如果p p，那么非q q；所以非p p如果p p，那么q q如果p p，那么非q q 所以非p p(p p q q )(p p q q)p p(p p q q )(p p q q)p p从一个命题蕴涵矛盾命题而否定该命题的推理3.2.8 反三段论推理反三段论推理传统逻辑式 现代逻辑式 如果p并且 q，那么