一个数据库中现有A、B、C、D、E、F六个语句，但目前这个数据库是不协调的，必须删除某些语句才能恢复数据库的协调性。已知：（1）如果保留语句A，那么必须保留语句B和语句C。（2）如果保留语句E，则必须同时删除语句D和语句C。（3）只有保留语句E，才能保留语句F。（4）语句A是重要的信息，不能删除。以上各项如果为真，则以下哪一项一定为真？

一个数据库中现有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。