所有金属都是导体，有的金属不是固体。设上述命题为真，则肯定为真的命题是 ( B )

• A、有的导体是固体
• B、有的导体不是固体
• C、有的固体是导体
• D、有的固体不是导体

有效的三段论推理形式有 ( CD )

• A、第一格 IIA 式
• B、第二格 EEA 式
• C、第三格 EAO 式
• D、第四格 AEE 式
• E、第一格 OEA 式

一个数据库中现有A 、B、C、D、E、F 六个语句，但目前这个数据库是不协调的，必须删除某些语句才能恢复数据库的协调性。已知：

（1）如果保留语句 A ，那么必须保留语句B 和语句 C；

（2）如果保留语句 E，则必须同时删除语句D 和语句 C；

（3）只有保留语句 E，才能保留语句 F；

（4）语句 A 是重要信息，不能删除。

试问必须删除的语句有哪些？写出推导过程。