翻译推理-逆否规则（肯前肯后-否后否前）与德摩根定律拆括号

问法模型：‘由此可以推出’+多个假言条件加确定事实 → 先把题干统一翻译成逻辑符号（只有…才后推前），再从确定信息出发沿逆否等价连锁推理并逐项排除

推理链

第1步：翻译题干：条件（1）‘只有小红报名，小白、小黑和小花才会都跟着报名’为’只有…才’后推前，即（小白∧小黑∧小花）→小红；条件（2）¬小白→¬小黑，逆否即小黑→小白；条件（3）¬小黑→¬小灰，逆否即小灰→小黑；条件（4）¬小红；条件（5）小灰报名
第2步：确定信息搭桥：由⑤’小灰报名了’对’小灰→小黑’肯前必肯后，得小黑报名；再对’小黑→小白’肯前必肯后，得小白报名，形成连锁⑥小灰→小黑→小白
第3步：由④’小红没报名’对①’（小白∧小黑∧小花）→小红’构成否后，否后必否前，得¬（小白∧小黑∧小花）
第4步：按德摩根定律拆括号：¬小白 ∨ ¬小黑 ∨ ¬小花；结合第2步已知小白、小黑都报名（或关系中否一推一），得¬小花，即小花没报名
第5步：综合结论：小灰、小黑、小白都报名，小花没报名
第6步：对照选项：A含小花排除，C、D含小花排除，只有B’小白和小黑都报名了’完全符合，当选

最快解法：⚡ 逆否连锁法：从确定事实’小灰报名’入手，经③逆否’小灰→小黑’、②逆否’小黑→小白’两步肯前推后，直接锁定’小白和小黑都报名’即B；随后用④否后①+德摩根确认小花没报名，快速排除A/C/D

🧩 当题干出现多个’只有…才/如果…则’条件并附带否定信息和确定事实时，先把所有假言统一逆否成’确定事实→目标’的箭头方向连锁推理，再用否定信息否后必否前联言命题并德摩根拆括号定其余对象真假，最后对照选项

同类特征：只有…才（后推前）、如果…则（前推后）、确定事实作推理起点、否后必否前、德摩根拆括号、多条件连锁推理