问题
单项选择题
一个数据库中现有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
解析：[分析] 已知：
(1)A→(B∧C)
(2)E→(┐D∧┐C)
(3)E←F
(4) A
下面是推理过程：
(5)B∧C ((1)(4)假言推理)
(6)B ((5)联言推理)
(7)C ((5)假言推理)
(8)┐E ((2)(7)假言推理)
(9)┐F ((3)(8)假言推理)
由(8)和(9)可知，选项D是正确答案。