真假话问题-矛盾关系（对当关系：所有…不与有的…是必一真一假）

问法模型：『只有一人断定属实』→ 先找矛盾命题锁定真话范围，再由其余假话反推验证

推理链

第1步：提取四人断定——甲『所有学生没有及格』（全称否定）、乙『王萌萌没有及格』（单称否定）、丙『并不是都没有及格』即『有的学生及格』（特称肯定）、丁『有的学生没有及格』（特称否定）
第2步：识别矛盾关系——甲『所有都没及格』与丙『有的及格』互为矛盾命题，必定一真一假
第3步：唯一真话必在甲、丙之中，故乙和丁的断定均为假
第4步：由丁『有的没及格』为假，据矛盾规则推出『所有学生考试及格』为真
第5步：『所有人都及格』直接推翻甲『所有没及格』（甲为假），并据『所有→有的』推出『有的学生及格』为真，即丙为真
第6步：逐一验证——所有人都及格时：甲假、乙假（王萌萌及格）、丁假、丙真，恰有且仅有一真，结论成立，选C

最快解法：⚡ 矛盾锁定法：甲与丙矛盾必含唯一真话→乙、丁必假→丁假反推『所有人都及格』→甲假丙真，秒选C

🧩 当题干出现『只有一人说真（假）话』且断定中含『所有S都不是P』与『有的S是P』这类矛盾对时，先锁定矛盾双方为真假范围，将其余断定判假，再用假话的矛盾命题反推真实情况验证结论

同类特征：只有一人断定属实、所有…没有及格、并不是都没有…、有的…没有及格、真假话问题、单称+全称+特称混合断定