结论推断-集合关系（欧拉图）与可能性判断（必然-可能）

问法模型：『如果上述断定都是真的，下列哪项断定一定是真的』→ 结论推断题：画出『350名惯犯』与『作案者』『吸毒者』三集合的关系图，逐一检验选项强度，注意『可能』型断定只要题干不排除即为真

推理链

第1步：前提一——近三年严重刑事犯罪案件『都为已记录在案的350名惯犯所为』，只能保证每起案件有惯犯参与；若存在共同犯罪，作案者总人数可以超过350人
第2步：前提二——『严重刑事犯罪案件的作案者半数以上是吸毒者』，『过半』针对的是『作案者』集合，而作案者人数题干并未给出
第3步：所用方法——极端构造反例检验：设每起案件由1名不吸毒的惯犯伙同9名吸毒的非惯犯共同实施，则作案者中吸毒者占90%（过半成立），而350名惯犯中吸毒者为0，题干两个断定均未被违反
第4步：该反例说明『惯犯中有吸毒者』并非必然，而『惯犯中没有吸毒者』与题干完全相容，故或然断定『可能没有吸毒者』为真
第5步：逐项对照——A『一定有吸毒者』被反例直接否定；B『大多数是吸毒者』在反例中比例为0；D『吸毒者大多数在350名惯犯中』把『作案者中的吸毒者过半』偷换为『吸毒者总体大多在惯犯中』，方向颠倒且无据
第6步：结论——只有C『可能没有吸毒者』是题干不排除、且其余三项均无法保证的断定，故选C

最快解法：⚡ 极端反例法：假设350名惯犯全部不吸毒，吸毒者都是与他们共同作案的圈外人（作案者总数因此超过350人）——题干两个断定依然全部成立，故『可能没有吸毒者』必真，直接锁定C；凡含『一定』『大多数』的A、B、D，均因作案者人数未知而被一并排除

🧩 当题干出现『某类案件全由某固定人群所为＋该类案件作案者中某特征过半』并问『一定真』时，先警惕两集合未必是包含关系（共同犯罪可使作案者超出固定人群），再用极端反例排除『一定/大多数』项，剩下的『可能』项即为答案

同类特征：问法『哪项断定一定是真的』、『都为350名惯犯所为』的全称断定、『作案者半数以上是吸毒者』的过半表述、作案者人数与案件数量均未知、选项呈『一定—大多数—可能』的强度梯度、惯犯与吸毒者的交集不确定