李明的所有网友都不是软件工程师；通过李明而认识大楚公司董事的都是软件工程师：李明…

正确答案：B

花生十三讲解

先抓核心链条：李明网友都不是软件工程师，而通过李明认识大楚公司董事的都是软件工程师。李明的一个网友通过李明认识了王刚，说明该网友符合‘通过李明认识’的条件，但题干未说王刚是大楚董事，只说他被该网友认识。若王刚是董事，则网友认识董事，但网友不是软件工程师，与‘认识董事的都是软件工程师’矛盾，故王刚不是董事。排除A（无法推出）、C（王刚身份未定）、D（同理）。确认答案为B。速记：条件相斥推否定，董事身份被反证。

原解析

解析 第一步，确定题型。 根据题干关联词“所有……都不是……”，确定为翻译推理。 第二步，翻译题干。 ①李明的网友→¬工程师 ②通过李明而认识大楚公司董事→工程师 第三步，进行推理。 根据①可知李明的这个网友一定不是工程师，“不是工程师”是对②的“否后”，根据“否后必否前”可得到： “不是通过李明而认识的大楚公司的董事”说明通过李明认识的王刚一定不是大楚公司的董事。 因此，选择B选项。