【名词&注释】
操作系统(operating system)、输入法(input method)、三段论推理(syllogistic reasoning)、小文件、直接推理(direct inference)、快捷键(shortcut key)、任务栏(taskbar)、右下角
[单选题]所有与甲型H1N1流感患者接触的人都被隔离了。所有被隔离的人都与徐海华接触过。假设上述命题为真,则下面哪一个命题也是真的?()
A. 可能有人没有接触过甲型H1N1流感患者,但接触过徐海华
B. 徐海华是甲型H1N1流感患者
C. 所有与徐海华接触过的人都被隔离了
D. 所有甲型H1N1流感患者都与徐海华接触过