简介一份面向东北大学《逻辑学》在线平时作业3的答案解析文档适合正在完成该课程作业、期末复习或备考逻辑学基础概念的学生使用。内容基本按作业题序组织覆盖三段论推理、定义过窄、交叉关系、换质法、预期理由、完全归纳与不完全归纳、模态推理、充分条件假言推理等高频考点并对集合概念与非集合概念、SOP判断的真值关系、“知识分子”在不同命题中的概念类型等易错点给出参考答案。资源为1个Word文档docx压缩包整体约18KB轻量精简打开后可对照题号快速查找也方便复制、修订或打印。已有63人学习下载既可用来核查作业正误也可帮助理解常见谬误与推理规则是考前快速梳理逻辑学核心知识点的实用资料。1. 一份逻辑学作业答案我为什么拿来当推理规则拆最近翻到一份《逻辑学》在线平时作业3答案题目覆盖三段论、模态推理、概念关系、假言推理和谬误识别。这类题看起来像文科记忆题实际上每个正确选项都对应一条可判定的规则比如换质法要求“谓项换成矛盾概念”或者充分条件假言推理只允许肯定前件和否定后件。我尤其建议做规则引擎、写需求判断的从业者看看把自然语言句法归约成形式结构和写代码时从需求里抽取条件分支是同一件事。这篇博文按概念外延、直言命题、模态与复合判断三层拆解最后给出可直接用于其他作业的判定流程。适合要考试、要补形式逻辑基础、或者想练习规则化思维的人。2. 概念外延与定义错误先把“概念间关系”变成可判定规则2.1 用集合运算模拟“油画”与“风景画”的交叉关系概念外延就是概念所指对象的集合。题目里“油画”与“风景画”的关系本质是在问两个集合是否有交集以及是否一方包含另一方。油画是按材料分风景画是按题材分所以存在既是油画又是风景画的作品也存在不是风景画的油画和不属于油画的风景画二者构成交叉关系。理解这一层比记住“交叉”两个字更可靠因为后续的 SOP 判断题也依赖同一套外延判定。我习惯把外延关系直接在代码里跑一遍避免被语感带偏。以下是用集合关系判断外延类型的函数# 用两个集合分别代表 S 和 P 的外延 def ext_relation(S: set, P: set) - str: inter S P if S P: return 全同 if S P: return S真包含于P if S P: return S真包含P if inter: return 交叉 return 全异 oil {星空, 向日葵, 睡莲} landscape {星空, 向日葵, 富岳三十六景} print(ext_relation(oil, landscape)) # 输出交叉这段函数先计算交集再依次判断全同、真包含于、真包含、交叉和全异。参数 S 和 P 是 Python 的 set 类型集合里的元素只是示例换成题目里的对象集合结果仍然成立。需要注意的是集合的严格包含判断和在空集时会有特殊行为所以实际使用时要先排除空集场景。回到作业中反复出现的 SOP 题当 SOP 判断为真时S 与 P 的外延关系不能是“S 真包含于 P”。原因很直接如果 S 真包含于 P那么所有 S 都落在 P 的范围内SOP 所断言的“存在 S 不是 P”就没有成立空间。全异、交叉、S 真包含 P 三种情况下SOP 都可以为真。这也是为什么同一套题里这道概念题出现两次出题人明显在强调外延关系与对当关系之间的换算。提示判断 SOP 真假时不要看“有些”在日常语言里的数量含义只用逻辑上的“至少存在一个”理解。把五种关系与四种直言命题的真假值放在一起做题时能省一半时间。S与P外延关系SAPSEPSIPSOP全同真假真假S真包含于P真假真假S真包含P假假真真交叉假假真真全异假真假真这张表的推导逻辑并不复杂全同和真包含于都保证“所有 S 是 P”所以 SAP 真、SOP 假全异保证“所有 S 不是 P”所以 SEP 真其余情况只要存在一个 S 是 PSIP 就真。把这五列背下来等于给所有直言命题概念题做了一个可查找的映射表。2.2 定义过窄、同语反复、循环定义定义题到底在考什么作业里有几道题专门考定义错误。“把‘物理学是研究物理的科学’这句话作为物理学的定义”所犯逻辑错误是同语反复答案 D。原因在于定义项里直接用“物理”这个同根词代替了“物理学应该研究什么”的实质内容没有给出任何新信息。同语反复的典型结构是“A 就是 A”或者“A 就是具有 A 属性的事物”。“定义过窄”这道题参考答案给的是 C“排中律”。这里需要说明这门课把定义过窄归到排中律层面有些教材则会把定义规则单独列为“定义项与被定义项外延必须全同”。两种口径并不冲突前者是在基本规律层面解释后者是在定义规则层面检查做题时按本课程答案选 C理解时用外延全同规则去验证即可。定义过窄的直观表现是定义项外延小于被定义项外延比如把“刑法”定义为“规定犯罪的法律”漏掉了刑罚部分就会把一些本应属于刑法的内容排除在外。循环定义则是两个概念互相定义比如“原因是引起结果的事件结果是原因引起的事件”。这类错误在技术文档里也常见一个配置项的解释里引用另一个配置项而另一个配置项又反过来引用它读者绕了一圈仍然不知道默认值是什么。识别定义类错误的通用方法是把定义项中的核心词圈出来看它是否出现在被定义项中出现则优先怀疑同语反复再看两个定义是否互相依赖互相依赖则是循环定义。2.3 集合概念与非集合概念用“能否分给个体”来检验另一个高频题点是集合概念和非集合概念的区分。“知识分子是国家的宝贵财富”里的“知识分子”是集合概念因为“宝贵财富”只能修饰知识分子整体不能逐一分配给某个具体知识分子。“知识分子都是脑力劳动者”里的“知识分子”是非集合概念因为“都”字把它拆成了一个个成员。判定方法可以固定为三步先看主项前能否补充“所有”“每一个”这类量词如果能补充且语义通顺就是非集合概念如果不能只能在前面补“这个群体”就是集合概念。也可以换一个角度把判断拆到个体身上看是否仍然成立。“每一个知识分子都是国家的宝贵财富”听起来别扭说明原句是集合用法“每一个知识分子都是脑力劳动者”成立说明原句是非集合用法。作业里这道题答案 C正是用这个方法直接得到的。概念层内容看起来是整份作业里最基础的但很多三段论错误都源于概念关系没画清。先把外延关系和定义规则搞清楚再进入直言命题推理后面的判断才有支撑。3. 直言命题、换质法与三段论把语义句变成形式句3.1 换质法改联项、换谓项一步都不能少换质法是在不改变命题量项的前提下通过改变联项和谓项的矛盾概念得到一个与原命题等值的命题。规则看起来简单执行时很容易只做一半。以“没有一个教授不是知识分子”为例这句话首先要归一化成“所有教授都是知识分子”。在此基础上换质需要做两件事联项从“是”变为“不是”谓项从“知识分子”变为“非知识分子”所以结果就是“教授都不是非知识分子”也就是答案 C。这里最容易选错的是 D“教授是非知识分子”。后者违背了换质法“双重否定”的要求只换了谓项却没有换联项导致命题真假发生变化。我在处理这类题目时会用一个小函数把两步拆开# 换质法保留主项和量项修改联项和谓项 def obversion(quality: str, subject: str, predicate: str) - str: neg_predicate 非 predicate new_quality 不是 if quality 是 else 是 return f{subject}{new_quality}{neg_predicate} print(obversion(是, 教授, 知识分子)) # 输出教授不是非知识分子函数逻辑很直白参数 quality 表示原命题联项subject 是主项predicate 是谓项。函数先把谓项前加“非”再根据原联项是“是”还是“不是”翻转成对应形式。实际使用时要注意如果谓项本身是负概念比如“不合法”换质时应先把它转换成“合法”再继续否则会出现“非不合法”这样不自然的表达。为了更快核验可以把常见换质结果直接列成表原命题换质结果说明所有教授都是知识分子教授都不是非知识分子联项由“是”变“不是”谓项变矛盾概念有的干部没有掌握新方法有的干部不是掌握新方法的人否定联项换成肯定联项谓项取反面换质法最常出错的位置就在联项和谓项只改了一个。做题时可以在草稿上把“联项”和“谓项”两栏分开写改完一栏再改另一栏不要跳步。3.2 SOP 与直言命题四要素量项和联项决定逻辑形式直言命题由主项、谓项、联项、量项四个要素构成。作业里“有相当一部分干部没有掌握现代科学管理方法”的逻辑形式是“有的 S 不是 P”答案 D。这句话的干扰点有两个第一“有相当一部分”让人误以为命题表达了数量比例但特称量项“有的”在逻辑上只表达“至少存在一个”第二“没有掌握”这个否定联项很容易被忽略导致有人误判成 SIP。与之相关的是直言命题在主谓项外延上的限制。前文已经提过 SOP 为真时 S 与 P 不能是“S 真包含于 P”这里再补一个反向题当 SAP 与 SEP 同假时S 与 P 是哪种关系。作业答案选 B“真包含”和 D“交叉”。原因在于反对关系只保证 SAP 与 SEP 不能同真但允许同假S 真包含 P 时S 类中既有 P 成员又有非 P 成员所以全称肯定和全称否定都是假的。交叉关系同理。而全同会让 SAP 真全异会让 SEP 真真包含于会让 SAP 真所以这三项都不能选。3.3 三段论里小前提是 E 判断大前提只能从肯定里找三段论的有效性由中项至少周延一次、前提中不周延的项结论中不得周延、两个否定前提不能得结论等规则控制。作业里有一道多选“若一有效三段论的小前提是 E 判断则其大前提可以是()或()”答案是 A“所有 P 是 M”和 B“有 P 是 M”。这里的 E 判断表示小前提是一个全称否定命题例如“所有 S 都不是 M”。两个否定前提得不出任何有效结论这是三段论的基础规则。所以小前提已经是否定判断时大前提必须取肯定判断。候选里 A 和 B 都是肯定判断而且它们的 P 与 M 的位置正好能构成有效格。做这种题不需要逐条背格直接用规则过滤先排除所有否定判断再检查中项是否至少周延一次。C 是特称否定D 虽然表面是全称肯定但 M 在主项位置E 的“没有 P 不是 M”需要先译成“所有 P 是 M”再参与判断所以实际可用的就是 A 和 B。提示题目里的“没有 p 不是 M”是双重否定句先译成“所有 p 是 M”再参与规则判断不要直接用原句比较。3.4 类比推理、归纳推理和演绎推理的区分作业末尾的多选题把类比推理和演绎推理放在一起比较答案五个维度全选思维进程方向、结论知识范围、前提与结论联系性质、结论可靠性、前提是否蕴涵结论全部不同。类似地类比推理的思维进程只能是从个别到个别演绎是从一般到个别归纳是从个别到一般。形成假说的初始阶段起突出作用的是归纳和类比因为假说多从零散经验和相似案例起步。完全归纳推理的结论是必然的不完全归纳推理的结论是或然的这个区别也在这类题里反复出现做题时不要把归纳推理一概当真。4. 模态逻辑、假言推理与论证谬误把“必然/可能”当成运算规则4.1 模态方阵先找矛盾再走差等模态逻辑里“必然 P”“必然非 P”“可能 P”“可能非 P”组成一个正方形。与直言对当关系类似模态方阵也有矛盾、反对、下反对、差等四类关系。矛盾关系是最强的关系必然 P 与可能非 P 是矛盾必然非 P 与可能 P 是矛盾。这两个关系直接互为否定所以“火星必然有天然卫星”成立等价于“火星不可能没有天然卫星”反过来说要推出“火星必然有天然卫星”前提必须是“火星不可能没有天然卫星”答案 D。差等关系则是从必然推向可能必然 P 真则可能 P 真必然非 P 真则可能非 P 真。由“必然有的学生是大学生”可以推出“可能有的学生是大学生”答案 A。注意这里“必然”管辖的是“有的学生是大学生”不是“学生”这个类所以推出的仍然是“可能有的学生是大学生”而不是可能所有学生都是大学生。我一般把模态方阵编码成字典做题时直接查# 模态推理小工具根据前提返回可推出的结论 modal_rules { 必然p: [可能p], 必然非p: [可能非p], 不可能p: [必然非p], 不可能非p: [必然p], 可能p: [不必然非p], 可能非p: [不必然p], } def modal_infer(premise: str) - list: return modal_rules.get(premise, []) print(modal_infer(必然p)) # [可能p] print(modal_infer(不可能非p)) # [必然p]这个函数的关键是把自然语言先规范成“必然p”“不可能非p”这种固定形式再去查规则。key 是前提value 是结论列表如果查不到说明前提可能写得不标准。做题时我还会手动补一步“不必然 p”和“可能非 p”之间的等值转换因为在自然语言里这两个说法经常混用。4.2 充分条件假言推理只认两个有效式充分条件假言判断“如果 p那么 q”的有效推理只有两个方向肯定前件式p 真推出 q 真否定后件式q 假推出 p 假。反之否定前件不能推出否定后件肯定后件也不能推出肯定前件这两个都是经典谬误。作业题“正确进行充分条件假言推理应当”答案直接指向“肯定前件就要肯定后件”。用真值表呈现会更清楚pq如果 p 则 q推理结论真真真肯定前件式成立真假假原命题为假不能推出假真真肯定后件式无效假假真否定后件式成立从这个表里能看到一个重要边界充分条件假言判断只在 p 真且 q 假的组合下为假其他三行都为真。所以代码里做规则判断时不要用“p 假则整句话为假”的直觉而要看是否命中了“前件真而后件假”的唯一否定项。4.3 逻辑常项与变项换词不换结构逻辑常项是决定推理形式的部分包括“如果…那么…”“只有…才…”“必然”“可能”“且”“或”等逻辑词变项是可以用具体内容替换的部分。题目里两个命题“如果必然 p 真则可能非 p 假”和“只有可能非 p 假才必然 p 真”。把“必然 p 真”记为 A“可能非 p 假”记为 B两个命题结构分别是“如果 A那么 B”和“只有 B才 A”。它们逻辑常项不同变项相同所以答案 B。识别逻辑常项的方法很简单把句中所有名词、判断内容都换成字母剩下不能换的连词和模态词就是常项。如果两个命题剩下的是不同的连词说明推理规则不同如果变项相同说明它们谈论的是同一批判断。负判断也是一个容易和简单否定混淆的点比如“并非所有 S 都是 P”是对整个判断的否定所以属于复合判断而不是简单的直言命题。4.4 谬误题目预期理由、诉诸暴力与基本规律预期理由属于论据类谬误指用真实性尚未得到证明的判断充当论据违反“论据应是已知为真的判断”这条论证规则答案 B。诉诸暴力则是拿威胁或强制力替代说理与论题是否成立没有逻辑关系在谬误分类中属于相干谬误答案 A。还有一道题判断“这个推理不是间接推理而是类比推理”是否违反逻辑基本规律答案是“不违反”。原因是“间接推理”和“类比推理”并非矛盾关系一个对象可以同时既不是间接推理也不是类比推理。矛盾律和排中律只约束具有矛盾关系或反对关系的命题对两个只是不同分类维度的概念没有约束力。这个点也提醒我们不要以为所有“不是 A 而是 B”的句式都在制造矛盾要先看 A 和 B 是否穷尽了对立空间。5. 把这些答案还原成一套可复用的“逻辑作业判定流程”5.1 按题型走固定步骤做这类逻辑学在线作业最忌讳直接靠常识判断。可以把这些题目归纳成四类概念外延题、直言变形题、模态推理题、复合判断与谬误题。每类固定走一套流程能明显降低漏判。概念外延题第一步先画出两圆第二步看集合有无交集、是否包含第三步对照全同、真包含、真包含于、交叉、全异五选一。直言变形题第一步先把双重否定句规范化第二步确认量项和联项第三步执行换质换位时只变化允许变化的成分。模态推理题第一步把“必然”“可能”“不必然”“不可能”全部替换成标准形式第二步在方阵中找矛盾关系第三步用差等关系向下推。复合判断题第一步用字母替换子判断第二步写出逻辑常项第三步查真值表确认唯一无效行。5.2 用一个函数快速定位题型经常做这类作业的话可以写一个最简单的题型路由# 根据题干关键词定位题型并返回处理规则 def logic_triage(text: str) - str: if 关系 in text and (交叉 in text or 真包含 in text or 全异 in text): return 概念外延画集合关系图 if 换质 in text or 没有一个 in text: return 直言变形先规范化再换质 if 必然 in text or 可能 in text: return 模态推理先找矛盾再推差等 if 如果 in text or 只有 in text: return 假言推理只认肯定前件和否定后件 return 按句式判断常项和变项 print(logic_triage(这个推理不是间接推理而是类比推理)) # 输出按句式判断常项和变项参数 text 是题干原文函数通过关键词返回处理策略。这个函数并不完善但能帮助你在答题前先建立规则意识而不是被题目里的自然语言带走。真实作业里“没有一个教授不是知识分子”这类双重否定句必须先翻译成“所有教授都是知识分子”否则后续换质极易出错。遇到“必然/可能”题时我会先在草稿纸上写“矛盾”和“差等”四个字再开始列式这个习惯帮我少犯一半错误。本文还有配套的精品资源点击获取