问题
单项选择题
互联网好比一个复杂多样的虚拟世界，在互联网主机上的信息又构成了一个微观虚拟世界。若在某主机上可以访问本主机上的信息、则称该主机相通于自身；若主机x能通过互联网访问主机y的信息，则称x相通于y，已知代号分别为甲、乙、丙、丁的四台联网主机有如下信息：
(1)甲主机相通于任一不相通于丙的主机。
(2)丁主机不相通于丙。
(3)丙主机相通于任一相通于甲的主机。
若丙主机不相通于自身，则以下哪项一定为真
A．若丁主机相通于乙，则乙主机相通于甲
B．甲主机相通于乙，乙主机相通于丙
C．只有甲主机不相通于丙，丁主机才相通于乙
D．甲主机相通于丁，也相通于丙
E．丙主机不相通于丁，但相通于乙
答案
参考答案：D
解析：将已知“丙不相通于丙”作为起点，与各个条件结合进行推理，具体步骤和结论如下：
| 条 件 | 步骤与结论 |
| (1)甲主机相通于任一不相通于丙的主机 | (1)和已知推知：甲相通于丙 |
| (2)丁主机不相通于丙 | (1)和(2)推知：甲相通于丁 |
| (3)丙主机相通于任一相通于甲的主机。 | 所以，选D |
| 又：丙不相通于丙 |