当前位置：首页 → 学历类 → 研究生入学 → 管理类联考综合->为防御电脑受到病毒侵袭，研究人员开发了防御病毒、查杀病毒的程
为防御电脑受到病毒侵袭，研究人员开发了防御病毒、查杀病毒的程序，前者启动后能使程序运行免受病毒侵袭，后者启动后能迅速查杀电脑中可能存在的病毒。某台电脑上现装有甲、乙、丙三种程序，已知：（1）甲程序能查杀目前已知的所有病毒；（2）若乙程序不能防御已知的一号病毒，则丙程序也不能查杀该病毒；（3）只有丙程序能防御已知的一号病毒，电脑才能查杀目前已知的所有病毒。（4）只有启动甲程序，才能启动丙程序。根据上述信息，可以得出以下哪项？
正确答案为A。形式推理―传递推理，难度较高。[1]：甲都杀[2]：乙
