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

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

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

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

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

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

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

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

若“如果王林掌握了两门外语，那么他精通逻辑”为假，则为真的是 ( D )

• A、王林没有掌握两门外语并且不精通逻辑
• B、王林掌握两门外语并且精通逻辑
• C、或者王林没有掌握两门外语或者他精通逻辑
• D、如果王林掌握两门外语，那么他不精通逻辑