李明的所有网友都不是软件工程师；通过李明而认识大楚公司董事的都是软件工程师；李明的一个网友通过李明认识了王刚。根据以上陈述，可以得出（）。

题目

李明的所有网友都不是软件工程师；通过李明而认识大楚公司董事的都是软件工程师；李明的一个网友通过李明认识了王刚。 根据以上陈述，可以得出（    ）。
A:王刚不是软件工程师
B:王刚不是大楚公司的董事
C:王刚是软件工程师
D:王刚是大楚公司的董事

参考答案

本题考查集合推理。 根据题干逻辑关系，翻译如下：①李明的网友→不是工程师；②通过李明而认识大楚公司董事的→软件工程师。 根据①，可知通过李明认识了王刚的网友不是软件工程师；再根据②，利用逆否推理规则可知，该网友通过李明认识的王刚不是大楚公司的董事。
故本题答案为B选项。