问题
单项选择题
一个数据库中现有A、B、C、D、E、F六个语句，但目前这个数据库是不协调的，必须删除某些语句才能恢复数据库的协调性。已知：
(1)如果保留语句A，那么必须保留语句B和语句C。
(2)如果保留语句E，则必须同时删除语句D和语句C。
(3)只有保留语句E，才能保留语句F。
(4)语句A是重要的信息，不能删除。
以上各项如果为真，则以下哪一项一定为真
A．保留语句E并且删除语句C。
B．同时保留语句C和语句D。
C．保留语句E并且删除语句D。
D．同时删除语句E和语句F。
答案
参考答案：D
解析： 解此题时我们最好运用命题逻辑的符号，已知条件的表达式如下：(其中，A表示“保留语句A”，非A表示“删除语句A”。因为题干中(1)说，如果保留语句A，那么必须保留语句B和语句C。由此可以推出：
(1)A→(B∩C)
(2)E→(非D∩非C)
(3)F→E(注：“只有E，才F”=“如果F，那么E”)
(4)A
构造推导如下：
由(1)和(4)，得：B∩C
由B∩C，得C
由C得：D∪C
由非(非D门非C)和(2)，得：非E
由非E和(3)，得非F
因此，由条件可推出：同时删除语句E和语句F。