试题题干
反间谍组织已知：如果甲和乙都是间谍，丙就不是间谍；如果丁是间谍，那么乙就是间谍；甲和丙都是间谍。由此可以推出（ ）
参考答案
正确答案：
试题解析
（1）条件1：(甲，乙）→-丙；条件2：丁→乙；条件3：甲，丙。
（2）根据条件3中丙是间谋，即否定条件1后件，可推出：-(甲，乙）=-甲V-乙（摩根定律)。
（3）再根据条件3“甲是间谍”，用相容选言规则推出：-甲V-乙，甲→-乙。
（4）再根据“-乙”，由条件2逆否推出：-丁。
整合结论：-乙，-丁。答案为B。