练习题：互联网好比一个复杂多样的虚拟世界，每台联网主机上的信息又构成了一个微观虚拟世界，若在某主机上可以访问本主机的信息，则称该主机相通于自身；若主机x能通过互联网访问主机y的信息，则称x相通于y。已知代号分别为甲、乙、丙、丁的四台联网主机有如下信息：

（1）甲主机相通于任一不相通于丙的主机；

（2）丁主机不相通于丙；

（3）丙主机相通于任一相通于甲的主机。

若丙主机不相通于任何主机，则以下哪项一定为假？

A．乙主机相通于自身。

B．丁主机不相通于甲。

C．若丁主机不相通于甲，则乙主机相通于甲。

D．甲主机相通于乙。

E．若丁主机相通于甲，则乙主机相通于甲。

【题目信息判断】

题干中给出主机相通情况的判断，根据问句和选项特点，初步判断利用“假言命题”思路解决。

【正确答案】

选项C。

【解析】

题干所给出的条件为：（1）甲主机相通于任一不相通于丙的主机。（2） 丁主机不相通于丙。（3） 丙主机相通于任一相通于甲的主机。

本题增加的条件为：（4）丙主机不相通于任何主机。由题干中条件（3）和（4）可知，任何主机都不相通于甲主机。

选项C中公式为：丁主机不相通于甲→乙主机相通于甲。而上一步推理的结论中可知：丁不相通于甲∧乙不相通于甲，恰为选项C公式的负命题，故选项C一定为假。

【须注意的问题】

本题考核的要点是假言命题的负命题，但题干中推出的是联言命题，选项中给出的是假言命题，与之前很多题目的思路还是有所不同的。

【视频解析】

题目详细讲解请喜马拉雅检索“陈朗老师”，观看解析视频