(2012.07．44)综合题：一个数据库中现有A、B、C、D、E、F六个语句，但目前这个数据库是不协调的，必须删除某些语句才能恢复数据库的协调性。已知：(1)如果保留语句A，那么必须保留语句B和语句C。(2)如果保留语句E，则必须同时删除语句D和语句C。(3)只有保留语句E，才能保留语句F。(4)语句A是重要信息，不能删除。试问必须删除的语句有哪些?写出推导过程。
【正确答案】：必须删除的语句有E、F。根据(4)保留A，以及(1)，推出“保留B和C。”根据“保留C”，可推出“保留C或者保留D”，又可得出，“并非同时删除D和C”。又根据(2)，充分条件否定后件式，可得出“删除E”。又根据(3)，必要条件否定前件式，得出“删除F”。
