概念A和B的外延完全不同，并且二者的外延之和小于二者属概念的全部外延，则A、B概念之间具有（）。

• A、交叉关系
• B、反对关系
• C、真包含于关系
• D、真包含关系

“有些S是P”和“所有S不是P”这两个命题形式（）。

• A、逻辑常项不同但是变项相同
• B、逻辑变项和常项均不同
• C、逻辑变项和常项均相同
• D、逻辑变项不同但是常项相同

根据排中律的要求，主谓项相同的 SAP与 SOP必有一个为（）。