两个概念之间的全同关系是（）。

• A、对称且传递的关系
• B、非对称且传递的关系
• C、反对称且传递的关系
• D、对称且非传递的关系

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

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

一个推理形式有效，当且仅当，具有此推理形式的任一推理都不会出现（）而结论假的情形。