单选题   反间谍组织已知:
    (1)如果甲和乙都是间谍,则丙就不是间谍;
    (2)如果丁是间谍,则乙就是间谍;
    (3)甲和丙都是间谍。
    如果上述断定为真,以下哪项必然是真的?
 
【正确答案】 B
【答案解析】 本题题型归纳为“推理考题”。
   (1)如果甲和乙都是间谍,则丙就不是间谍;简化为:甲∩乙→[*]丙
   (2)如果丁是间谍,则乙就是间谍;        简化为:丁→乙
   (3)甲和丙都是间谍。简化为事实:甲∩丙→[*]乙→[*]丁。