以“所有A不是B”与“有C是A”为前提，能否必然推出“有B不是C”？能否必然推出“有 C不是B”？为什么？

试证明：一个有效的三段论中，三个不同的项不能同时都周延两次。

甲、乙、丙、丁争夺一名围棋赛冠军。已知下列A、B、C三种说法中，有且只有一种说法正确。问：谁夺得冠军？请写出推导过程。A.冠军或是甲或是乙。B.如果冠军不是丙，那么冠军也不是丁。C.冠军不是甲。

“假言判断”可以概括为

概念外延之间的交叉关系属于（）关系。

在“有的S不是P”这一性质判断中，主项“S”和谓项“P”的周延情况应该是

“这个推理不是间接推理，而是三段论”，这一判断

若“并非所有的花都是红的”这一断定为真，则下列判断为真的是

在“所有S都是P”与“有些S不是P”这两个逻辑公式中，它们

SAPⱵṖES所运用的推理形式是