分析推理-匹配类（真假话身份规则+代入排除）
考点：逻辑判断 / 分析推理-匹配类（真假话身份规则+代入排除）
问法模型：题干给出4人互猜专业+『只有数学、逻辑专业的猜测正确，文学、历史专业的猜测错误』的真假规则，求四人专业分配→选项信息充分，用代入法逐项验证『身份决定话的真假』是否全部自洽
推理链
- 第1步：提取规则——数学、逻辑专业者的猜测为真，文学、历史专业者的猜测为假；四条猜测为：张『赵是逻辑』、刘『李是文学』、李『张的专业不是数学』、赵『刘是历史』
- 第2步：四个选项均给出完整专业分配，采用代入法：代入后先由每人专业确定其猜测应真应假，再核对猜测内容与分配是否一致
- 第3步：代入A（张=数学、刘=逻辑、李=文学、赵=历史）：张是数学应说真话→赵应是逻辑，但A中赵=历史，矛盾，排除
- 第4步：代入B（张=数学、刘=历史、李=文学、赵=逻辑）：张『赵是逻辑』、赵『刘是历史』均为真自洽；但刘是历史应说假话→『李不是文学』，而B中李=文学，矛盾，排除
- 第5步：代入C（张=文学、刘=历史、李=逻辑、赵=数学）：张（文学）说『赵是逻辑』为假→赵≠逻辑✓；刘（历史）说『李是文学』为假→李≠文学✓；李（逻辑）说『张不是数学』为真→张≠数学✓；赵（数学）说『刘是历史』为真→刘=历史✓，四人全部吻合，当选
- 第6步：代入D（张=历史、刘=文学、李=逻辑、赵=数学）：李（逻辑）说『张不是数学』为真✓；但赵（数学）说『刘是历史』应为真，而D中刘=文学，矛盾，排除
最快解法：⚡ 代入排除法：把选项中的专业代入，逐人核对『数学/逻辑的话必须为真、文学/历史的话必须为假』。秒杀口诀——先看张：A、B中张=数学，则『赵是逻辑』必须成立，A中赵=历史当场矛盾即排；C项四人身份与话语真假完全自洽，直接锁定
易错点
- ⚠ 李的猜测是负命题『张的专业不是数学』，代入时易把真假方向弄反（说真话→张确实不是数学；说假话→张恰是数学）
- ⚠ 只验证说真话者的猜测，漏掉说假话者需推出『猜测内容为假』（如刘说假话→李不是文学），导致B项误判
- ⚠ B项中张、赵两句真话均自洽，易因前两人通过就误选，必须四人逐一验证到底
母题抽象
🧩 当题干出现『某类身份者说真话、另一类身份者说假话』且求多人身份/专业匹配、选项给出完整分配时，用代入法：逐项假设身份，核对每句话的真假值与身份规则是否全部自洽，出现一处矛盾即排除该选项
同类特征：只有…专业的猜测是正确的（真假话身份规则）、四人互猜他人专业、四人四专业一一对应匹配、含负命题猜测（『不是数学』）、选项给出完整分配（信息充分宜代入）
相关题
（暂无）
题干
某大学张、刘、李、赵4位互不熟悉的选手参加全校演讲比赛。他们来自数学、逻辑、文学和历史专业。赛前4人分别作出了如下猜测： 张：赵的专业是逻辑； 刘：李的专业是文学； 李：张的专业不是数学； 赵：刘的专业是历史。 事后得知，只有数学、逻辑专业选手的猜测是正确的。 根据上述信息可以推断，张、刘、李、赵4人各自的专业分别是：
选项
- A. 数学、逻辑、文学、历史
- B. 数学、历史、文学、逻辑
- C. 文学、历史、逻辑、数学 ✅
- D. 历史、文学、逻辑、数学
官方解析
第一步：分析题干。
（1）张：赵
逻辑；
（2）刘：李文学；
（3）李：张
数学；
（4）赵：刘历史；
（5）数学和逻辑说的正确，文学和历史说的错误。
第二步：根据题干条件分析选项。
选项信息充分，可以考虑代入法。
代入A项：张（数学）说的是真话，即赵的专业是逻辑，与选项矛盾，排除；
代入B项：张（数学）说的是真话，赵（逻辑）说的也为真话，刘（历史）说的是假话，即李不是文学专业的，与选项矛盾，排除；
代入C项：李（逻辑）说的是真话，即张不是数学专业的，赵（数学）说的是真话，即刘是历史专业的，张（文学）说的是假话，即赵不是逻辑专业的，刘（历史）说的是假话，即李不是文学专业的，均与选项一致，符合题干条件（5），当选；
代入D项：李（逻辑）说的是真话，即张不是数学专业的，赵（数学）说的是真话，即刘是历史专业的，与选项矛盾，排除。
故正确答案为C。
给定材料
（无）