为防御电脑受到病毒侵袭，研究人员开发了防御病毒、查杀病毒的程序，前者启动后能使程序运行免受病毒侵袭，后者启动后能迅速查杀电脑中可能存在的病毒。某台电脑上现装有甲、乙、丙三种程序，已知：（1）甲程序能查杀目前已知的所有病毒；（2）若乙程序不能防御已知的一号病毒，则丙程序也不能查杀该病毒；（3）只有丙程序能防御已知的一号病毒，电脑才能查杀目前已知的所有病毒。（4）只有启动甲程序，才能启动丙程序。根据上述信息，可以得出以下哪项？
- A.如果启动了丙程序，就能防御并查杀一号病毒
- B.如果启动了乙程序，那么不必启动丙程序也能查杀一号病毒
- C.只有启动了乙程序，才能防御并查杀一号病毒
- D.只有启动丙程序，才能防御并查杀一号病毒
- E.如果启动了甲程序，那么不必启动乙程序也能查杀所有病毒
正确答案及解析
正确答案
A
解析
正确答案为A。形式推理―传递推理，难度较高。[1]：甲都杀[2]：乙
