程元冰《逻辑学》3第五章 第一概述二联言三选言

逻辑学·第五章复合命题及其推理：概述·联言·选言Contents课程目录探索复合命题的逻辑结构与推理规则，建立严密的逻辑思维体系。01第一节复合命题概述02第二节联言命题及其推理03第三节选言命题及其推理Chapter01第一节复合命题概述掌握复合命题的定义、构成要素、联结词类型与真值判定方法Logic·Proposition复合命题的定义复合命题是逻辑学中的基本概念之一，其核心特征在于'包含其他命题'——它由若干简单命题或复合命题通过特定联结词组合而成，是构建复杂逻辑推理的基础单元。01定义包含其他命题的命题，由若干命题用特定联结词联结而成，区别于不含其他命题的简单命题。它是逻辑推理的基本构成要素。02假言联结"如果天在下雨，那么地是湿的"——两个支命题由假言联结词"如果……那么……"联结。这种条件关系是日常推理中最常见的逻辑形式之一。03联言联结"泰山既雄伟，又壮丽"——两个支命题由联言联结词"既……又……"联结。联言命题要求所有支命题同时为真，整体才为真。04多重嵌套"只要努力了，即使没成功，也不会遗憾"——展示了复合命题可层层组合的特性。复杂的逻辑推理往往由多层嵌套的复合命题构建而成。PROPOSITIONALLOGIC复合命题的构成要素复合命题由支命题和联结词两部分构成。支命题是被联结的命题单元，联结词是决定命题类型和逻辑性质的关键要素，二者缺一不可。支命题支命题是构成复合命题的基本单元，可以是简单命题（如"天在下雨"），也可以是复合命题（如嵌套结构）通常使用小写字母p、q、r等表示不同的支命题，便于进行逻辑符号化分析和真值计算p·q·r联结词﹁并非：否定联结词，表示对命题的否定∧并且：合取联结词，表示多种情况同时存在∨或者：析取联结词，表示至少一种情况存在→如果…那么：蕴涵联结词，表示条件关系↔当且仅当：等值联结词，表示充要条件关系，逻辑约束最强PROPOSITIONALLOGIC·CONNECTIVES五种基本联结词一览逻辑学中的五种基本联结词——否定、合取、析取、蕴涵、等值——分别对应负命题、联言命题、选言命题、假言命题和等值命题，构成了复合命题逻辑分析的完整工具箱。五种基本联结词及其对应命题类型联结词名称逻辑符号日常语言表达对应命题类型否定﹁并非、不是、不负命题（﹁p）合取∧并且、既…又、不但…而且联言命题（p∧q）析取∨或者、要么…要么选言命题（p∨q）蕴涵→如果…那么、只要…就假言命题（p→q）等值↔当且仅当、等价于等值命题（p↔q）数据来源：五种联结词构成复合命题逻辑分析的完整体系，每种联结词对应一类复合命题命题逻辑复合命题的分类体系复合命题按联结词类型分为联言命题、选言命题、假言命题和负命题四大类。本章聚焦联言命题与选言命题，二者分别对应"同时存在"和"至少一种存在"两种核心逻辑关系。本章重点后续章节联言命题p∧q断定若干事物情况同时存在，用合取词"并且"联结，逻辑特征为"全真才真，一假即假"。全真才真假言命题p→q断定事物之间的条件关系，包括充分条件、必要条件和充要条件三种类型。条件关系选言命题p∨q断定若干可能情况中至少有一种存在，用析取词"或者"联结，分相容与不相容两类。至少一真负命题﹁p通过否定某一命题而得到的命题，与原命题构成矛盾关系，真假恰好相反。矛盾关系LOGIC·PROPOSITIONALANALYSIS逻辑值与真值表方法复合命题的逻辑值（真或假）由支命题的真假和联结词的性质共同决定。真值表是系统分析复合命题逻辑值的核心工具，它穷举所有可能的真假组合并逐一判定结果。逻辑值的决定因素复合命题的真假取决于支命题的真假与联结词的性质两个维度，二者共同决定最终逻辑值。双因素真值表的作用以表格形式系统显示变项在各种真值组合下复合命题所取的真值，是逻辑分析的标准化工具。标准化步骤①计算组合确定支命题个数n，计算真假组合数目为2ⁿ种，如两个支命题共有4种组合。2ⁿ步骤②逐一判定根据联结词的逻辑性质，逐一判定每种组合下复合命题的真值，填入真值表相应行。逐行填步骤③归纳规律汇总分析真值表，归纳出该联结词的真值特征规律，如全真才真或一真即真。特征律CHAPTER02第二节联言命题及其推理掌握联言命题的定义、逻辑特征、语言表达与两种有效推理形式LOGIC·PROPOSITION联言命题的定义与构成联言命题（合取命题）是断定若干事物情况同时存在的命题，由至少两个联言支和合取联结词构成。其核心语义在于"并存"——所断定的多种情况被认定为共同成立。01定义反映若干对象情况共同存在的命题，又称合取命题，逻辑形式为p∧q，读作"p并且q"p∧q02并列并存"桃花开了，杏花开了，苹果花也开了"——三种情况并列并存，使用省略联结词的并列形式省略联结词03转折联结"林纾是著名的翻译家，但他不懂外语"——用转折词"但"联结，本质仍断定两种情况同时存在转折词·但04递进联结"孔子不但是我国古代伟大的教育家，而且也是伟大的思想家"——用递进词"不但……而且"联结递进词·不但…而且Logic·PropositionStructure联言命题的构成要素联言命题由联言支（至少两个）和联结词构成。日常语言中联结词有并列、递进、转折、承接四种表达类型，但在逻辑学中它们统一归约为合取联结词∧。联结词的四种类型并列式「既……又……」「也」「并且」——最常见的基础联结方式，各联言支地位平等递进式「不但……而且……」「并且」——后一支命题在程度或范围上较前一支更进一步转折式「虽然……但是……」——后一支命题在语义上与前一支形成对比，逻辑上仍为并存关系承接式「于是」「就」「然后」——各联言支在时间或事理上存在先后顺序，逻辑上仍为并存联言支联言支是联言命题中被联结的各个命题，至少需要两个才能构成联言命题，用p、q等字母表示联言支本身可以是简单命题（如「天在下雨」），也可以是复合命题，形成更复杂的嵌套结构逻辑学·复合命题联言命题的真值表联言命题的真值特征为"全真才真，一假即假"——只有当所有联言支均为真时，联言命题才为真；只要有一个联言支为假，整个联言命题即为假。联言命题p∧q真值表pqp∧q说明真(T)真(T)真(T)两个联言支都真，联言命题为真真(T)假(F)假(F)q为假，一假即假假(F)真(T)假(F)p为假，一假即假假(F)假(F)假(F)两个联言支都假，联言命题为假联言命题仅在所有联言支均为真时才为真，体现"全真才真、一假即假"的逻辑特征形式逻辑·联言推理联言命题的运算规律联言命题的合取运算服从交换律、结合律和幂等律三条基本规律，这些规律与数学乘法运算的性质高度相似，构成了联言推理的形式化基础。交换律p∧q⇔q∧p联言支的顺序不影响联言命题的真值，如"他既聪明又努力"等价于"他既努力又聪明"。Commutativity结合律(p∧q)∧r⇔p∧(q∧r)多个联言支的分组方式不影响最终结果，为复杂联言命题的简化提供依据。Associativity幂等律p∧p⇔p一个命题与自身做合取运算结果不变，说明重复断定不增加新的逻辑信息。IdempotencyFORMSOFEXPRESSION联言命题的语言表达形式联言命题在日常语言中有丰富的表达方式，包括省略联结词、复合主项、复合谓项、复合主谓项等变形形式。逻辑分析的关键是透过语言表面识别"并存断定"的本质结构。01省略联结词"他学习好，思想好"——省略了"并且"，但语义上仍表达两种情况同时存在，需根据语境还原逻辑联结词。语境还原02复合主项"他的学习思想都好"——将两个命题的主项合并，用同一个谓项统一断定，简化语言表达。统一断定03复合谓项"他学习好思想好"——省略联结词和标点，将两个谓项并列附着于同一主项上，结构紧凑。并列附着04复合主谓项"他的学习思想比小张小王都好"——主项和比较对象均为复合形式，信息密度高但逻辑结构不变。信息密度PropositionalLogic联言推理的定义与基本原则联言推理是前提或结论为联言命题、依据联言命题逻辑性质进行的推理。其核心依据是"全真才真、一假即假"的真值特征，由此衍生出分解式和组合式两种有效推理形式。定义前提或结论是联言命题，并根据联言命题的逻辑性质所进行的推理。全真才真·一假即假核心依据联言命题与联言支之间的真假关系——联言命题真则每个支命题必真，每个支命题真则联言命题必真。全真才真两种有效式分解式：从联言命题真推出部分支命题真。组合式：从所有支命题真推出联言命题真。分解式·组合式LOGIC·联言推理联言推理·分解式分解式是联言推理的有效形式之一，其逻辑为"联言命题真→任一支命题真"。这种推理从整体走向部分，是从已知全貌中提取局部信息的有效方法。逻辑公式(p∧q)→p联言命题为真时，可推出其中任一支命题为真有效性依据Validity联言命题"全真才真"——若联言命题为真，则其所有联言支必然全部为真，因此可取其中任一应用实例01郭沫若的身份推理"郭沫若是文学家，也是历史学家"（p∧q为真）→可推出"郭沫若是文学家"（p为真）02毛泽东的身份推理"毛泽东是伟大的革命家并且是伟大的思想家"（p∧q为真）→可推出"毛泽东是伟大的思想家"（q为真）逻辑公式·应用实例联言推理·组合式组合式是联言推理的第二种有效形式，其逻辑为"每个支命题真→联言命题真"。这种推理从部分走向整体，是综合多个已知真实命题形成完整判断的有效方法。01·逻辑公式(p,q)→(p∧q)当每个支命题分别被确认为真时，可推出它们组成的联言命题为真全真才真联言命题"全真才真"——既然所有联言支都已被证实为真，联言命题自然成立02·应用实例前提①"鲁迅是伟大的文学家"（p真）②"鲁迅是伟大的思想家"（q真）结论"鲁迅是伟大的文学家和思想家"（p∧q真）将分别确认的事实综合为一个完整的联言判断LOGIC·联言推理联言推理两种有效式对比分解式与组合式是联言推理仅有的两种有效形式，二者方向相反但依据相同——都建立在联言命题"全真才真"的逻辑特征之上。联言推理有效式对比表5个维度·2种形式比较维度分解式组合式推理方向从整体到部分从部分到整体逻辑公式(p∧q)→p或(p∧q)→q(p,q)→(p∧q)前提联言命题为真各支命题分别为真结论其中任一支命题为真各支命题构成的联言命题为真典型应用从复杂判断中提取局部信息综合多个证据得出完整结论CHAPTER03第三节选言命题及其推理掌握选言命题的定义、分类、逻辑特性与推理有效式DISJUNCTIVEPROPOSITION选言命题的定义选言命题是断定若干可能情况中至少有一种存在的命题。其核心语义是"至少一真"，与联言命题的"全真才真"形成对比，根据选言支是否可并存分为相容与不相容两类。定义断定几个可能的事物情况中至少有一个事物情况存在的复合命题，构成它的支命题称为选言支。选言命题的核心在于"选择"——从若干可能性中确认至少一种成立相容选言"他是导演或者是制片"——两种身份至少有一种成立，但不排除同时兼任的可能性。∨逻辑或可同真不相容选言"要么嫁给我，要么嫁给他"——必须在两者中选择一个，二者不可同时成立，具有排他性。⊕异或仅一真分类依据根据选言支之间是否具有并存关系，分为相容选言命题和不相容选言命题两大类。并存关系是关键区分标准Logic·选言命题相容选言命题相容选言命题的选言支可以并存（同时为真），其真值特征为"一真即真，全假才假"——只要至少一个选言支为真，整个命题即为真，仅当所有选言支均假时才为假。01·Definition由具有并存关系的选言支构成的选言命题，逻辑形式为p∨q，"∨"为析取词，读作"p或者q"例："张华学习好或者体育好"——两种情况可以同时成立，选言支之间不存在排斥关系02·TruthTablep∨qpqp∨q逻辑说明真真真两个选言支都真，"至少一真"成立真假真p为真已满足"至少一真"条件假真真q为真已满足"至少一真"条件假假假所有选言支均假，"至少一真"不成立LogicalFormp∨qp或者q选言支可以并存一真即真，全假才假析取词∨表示"或者"TRUTHTABLE相容选言命题真值表相容选言命题在四种真假组合中有三种情况为真，仅当全部选言支为假时才为假，真值条件远比联言命题宽松。与联言命题的对比是理解两种命题逻辑差异的核心。相容选言命题p∨q真值表（对比联言命题）pqp∨q（相容选言）p∧q（联言）真(T)真(T)真(T)真(T)真(T)假(F)真(T)假(F)假(F)真(T)真(T)假(F)假(F)假(F)假(F)假(F)相容选言p∨q四种组合中三真一假——只要至少一个选言支为真，整体即为真。仅当p、q全假时才为假。联言命题p∧q四种组合中一真三假——必须所有联言支同时为真，整体才为真。任一为假则整体为假。相容选言命题三真一假，联言命题一真三假，二者真值特征互为镜像逻辑学·命题逻辑不相容选言命题不相容选言命题的选言支不可并存，必须有且仅有一个为真。其真值特征为"有且仅有一真时才真"，与相容选言命题在"两个都真"的情况下取值相反。定义与特征01由不具有并存关系的选言支构成的选言命题，常用"要么……要么……"表达，强调非此即彼02例："要么去北京，要么去上海"——两种选择不可同时成立，必须且只能选择其中一个真值特征p真·q真假两个选言支都真，违反"不相容"约束，与相容选言在此处取值相反p真·q假真仅一个选言支为真，满足"有且仅有一真"的条件p假·q真真仅一个选言支为真，同样满足条件p假·q假假没有任何选言支为真，"至少一真"的基本要求都不满足TRUTHTABLE相容与不相容选言命题真值对比相容选言与不相容选言仅在'p真q真'时取值不同：相容允许并存为真，不相容禁止并存为假。识别选言支是否可并存是区分二者的关键。相容选言vs不相容选言真值对比pq相容p∨q不相容p∨̇q差异说明真真真假唯一差异点：相容允许并存，不相容禁止并存真假真真一真一假，两者取值相同假真真真一假一真，两者取值相同假假假假全假，两者取值相同两者仅在p、q同真时取值不同，这是区分相容与不相容选言的唯一判定依据DEDUCTIVELOGIC相容选言推理相容选言推理仅有否定肯定式一种有效形式：否定一个选言支即可肯定另一个。肯定否定式无效，因为相容选言允许多个选言支同时为真。有效式：否定肯定式公式：p∨q,﹁p→q。否定一个选言支，即可肯定另一个选言支。例："张华或者是老师或者是作家，张华不是老师→张华是作家"——排除一项后剩余项必然成立。无效式：肯定否定式错误推理：p∨q,p→﹁q。肯定一个选言支不能否定另一个，因为相容选言允许多支同真。反例："他或者是导演或者是制片"为真，且"他是导演"为真，但并不能推出"他不是制片"——他可以兼任两职。核心规则相容选言命题允许多个选言支同时为真，因此只能通过否定来排除，不能通过肯定来排除其他支。VALIDp∨q,﹁p→qINVALIDp∨q,p→﹁q否定肯定唯一有效形式PHILOSOPHY·LOGIC不相容选言推理不相容选言推理有两种有效形式：否定肯定式和肯定否定式。由于不相容选言要求'有且仅有一真'，否定一个可肯定另一个，肯定一个也可否定另一个，两种方向均可推理。否定肯定式（有效）TOLLENDOTOLLERNS01公式：p∨̇q,﹁p→q。否定一个选言支，必然肯定另一个选言支（与相容选言推理此式相同）02例：'要么去北京要么去上海，没去北京→去了上海'——非此即彼，排除一项则另一项必然成立﹁p→q肯定否定式（有效）PONENDOPONENS01公式：p∨̇q,p→﹁q。肯定一个选言支，必然否定另一个选言支（此式在不相容选言中有效，在相容选言中无效）02例：'要么去北京要么去上海，去了北京→没去上海'——不相容约束下有且仅有一真，肯定此则排除彼p→﹁q逻辑学·选言推理选言推理有效式对比总结相容选言推理仅有否定肯定式有效，肯定否定式无效；不相容选言推理两种式均有效。区分二者的关键在于选言支是否可并存，这是选言推理判定题型的核心思路。相容选言推理vs不相容选言推理对比比较维度相容选言推理不相容选言推理否定肯定式✓有效（排除一项，剩余项必真）✓有效（同理）肯定否定式✗无效（肯定一项不能排除其他项）✓有效（有且仅有一真，肯定此则排除彼）根本原因选言支可并存，多支可同时为真选言支不可并存，仅一支可为真日常联结词或者……或者……要么……要么……否定肯定式两者通用，肯定否定式仅不相容选言有效——选言支能否并存是判定关键ChapterSummary本章知识体系总结本章以复合命题概述为基础，系统展开联言命题与选言命题两大核心类型。联言命题强调"并存"（全真才真），选言命题强调"至少一真"（一真即真），二者构成复合命题逻辑的基础框架。Section01复合命题概述复合命题=支命题+联结词，五种基本联结词（﹁∧∨→↔）对应四类复合命题真值表是分析复合命题逻辑值的标准化工具，通过穷举支命题真假组合来判定复合命题真值掌握联结词的真值条件是理解复合命题推理规则的前提﹁∧∨→↔Section02联言命题及其推理联言命题（p∧q）断定多种情况同时存在，真值特征为"全真才真，一假即假"分解式(p∧q)→p：从联言命题整体推出任一联言支，由整体到部分组合式(p,q)→(p∧q)：从若干联言支推出联言命题，由部分到整体全真才真Section03选言命题及其推理相容选言（p∨q）：选言支可并存，"一真即真，全假才