翻译推理-摩根定律（联言命题的否定求矛盾）
考点：逻辑判断 / 翻译推理-摩根定律（联言命题的否定求矛盾）
问法模型：题干给出’所有……，没有……’的联言式断定并问’该断定为假则哪项一定为真’→求原命题的矛盾命题（负命题），用摩根定律’且变或、各支取反’展开后逐项比对
推理链
- 第1步：提取题干断定，为联言命题：‘对所有的静脉血标本进行检测’（所有标本已检测）’，”没有发现阳性HIV抗体’，即’所有检测 且 未发现阳性’
- 第2步：所用规则：断定为假⟺其矛盾命题一定为真；摩根定律’¬(A∧B)=¬A∨¬B’，且’所有’的否定是’有的/部分’而非’全部没有’
- 第3步：展开矛盾命题得必真结论：‘有的（部分）静脉血标本没有检测 或 发现了阳性HIV抗体’
- 第4步：逐项对照——C项’部分尚未检测，或者已经发现阳性’与该’或’式表述完全一致，必真；A项’要发现阳性→必须全部检测’为假言句，由’或’式命题推不出；B项断定’所有已检测’，否定了’或’式的一支，据’否一推一’应得’一定发现阳性’，与B中’未必能发现’冲突；D项’部分未检测，但是已发现阳性’以’但是’构成’且’式，只是’或’式的一种情形，未必为真
- 第5步：结论：排除A、B、D，选C
最快解法：⚡ 摩根定律口诀’否定联言得选言：且变或、两支分别取反’——题干’A且B’为假⟹‘非A或非B’，即’部分未检测或发现阳性’，直接锁定与’或’式表述一字对应的C项
易错点
- ⚠ 把’联言命题为假’误解为’两个联言支都为假’，误选’且’式（‘但是’连接）的D项——‘或’式为真时’且’式只是其中一种可能，未必为真
- ⚠ 忽略’所有’的否定是’部分/有的’，把矛盾写成’所有标本都未检测’这类全称否定而错判
- ⚠ 对’或者’与’但是’的逻辑力度不加区分，将B项’未必’、D项’且’式当成与’或’式矛盾命题等价
母题抽象
🧩 当题干出现’所有……，……’的联言式断定且问’该断定为假则哪项一定为真’时，用摩根定律求矛盾：‘A且B’为假⟺‘非A或非B’（所有→有的、且→或），选与’或’式表述一致的选项；含’但是’的’且’式选项和含’必须/才能’的假言选项均排除
同类特征：上述断定为假、所有的……进行检测、没有发现、一定为真、联言命题求矛盾、部分……或者……
相关题
- 2137322（上海 2018，相关度1）
- 2256331（江西 2018，相关度1）
- 2376533（吉林 2019，相关度1）
- 2388007（河北 2019，相关度1）
- 2394039（青海 2019，相关度1）
题干
对所有的静脉血标本进行检测，没有发现阳性HIV抗体。 如果上述断定为假，则下列 项一定为真。
选项
- A. 要发现阳性HIV抗体，必须对所有静脉血标本进行检测
- B. 对所有静脉血标本进行检测，未必能发现阳性HIV抗体
- C. 部分静脉血标本尚未进行检测，或者已经发现了阳性HIV抗体 ✅
- D. 部分静脉血标本尚未进行检测，但是已经发现了阳性HIV抗体
官方解析
第一步：分析题干条件。
对所有静脉血标本检测 且 
发现现阳性HIV抗体。
已知题干为假，那么其矛盾命题：（对所有静脉血标本检测 且 发现了阳性HIV抗体）一定为真，即：有的静脉血标本没有检测 或 发现了阳性HIV抗体。
第二步：逐一分析选项。
A项：翻译为发现阳性HIV抗体
所有静脉血标本检测，是对题干矛盾命题“或”关系的肯定，无法得出确定性结论，排除；
B项：翻译为对所有静脉血标本检测未必发现阳性HIV抗体，是对题干矛盾命题“或”关系的否定，根据“否一推一”可知，一定发现了阳性HIV抗体，与题干不一致，排除；
C项：翻译为有的静脉血标本没有检测 或 发现了阳性HIV抗体，与题干的矛盾命题一致，一定为真，当选；
D项：翻译为有的静脉血标本没有检测 且 发现了阳性HIV抗体，题干矛盾命题为“或”关系而不是“且”关系，排除。
故正确答案为C。
给定材料
（无）