有效的三段论推理形式有（）。

• A、第一格OAE式
• B、第三格EIO式
• C、第三格IAI式
• D、第四格AAA式
• E、第一格OEA式

一个数据库中现有A.B.C.D.E.F六个语句，但目前这个数据库是不协调的，必须删除某些语句才能恢复数据库的协调性已知：
（1）如果保留语句A，那么必须保留语句B和语句C；
（2）如果保留语句E，则必须同时删除语句D和语句C；
（3）只有保留语句E，才能保留语句F；
（4）语句A是重要信息，不能删除。
试问：必须删除的语句有哪些？写出推导过程。

“命题”和“复合命题”，这两个概念之间是（）。

• A、全同关系
• B、真包含关系
• C、真包含于关系
• D、交叉关系