[单选题]

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

A . 王刚不是软件工程师
B . 王刚不是大楚公司的董事
C . 王刚是软件工程师
D . 王刚是大楚公司的董事

参考答案： B

参考解析：

第一步：分析题干
题干推理规则为：
①李明的网友→非软件工程师
②通过李明而认识大楚公司董事的→是软件工程师
③李明的一个网友通过李明认识了王刚

第二步：分析选项
由①③可知李明的网友非软件工程师，由②的逆否命题可知该网友没有通过李明认识大楚公司董事。

根据③可知该网友通过李明认识了王刚，没有通过李明认识大楚公司董事，可以推出王刚不是大楚公司董事，所以选B。

故本题选B。
【2011-江苏A-061/江苏B-116】