A.有C是AB.有C不是AC.有A不是CD.所有A不是C已知概念A与概念B在外延上不相容，又已知“有B是C”为……

单项选择题根据已知条件：“有C是B”和“所有A不是B”能推出的正确结论是（）

A.所有A不是C
B.有A不是C
C.所有C不是A
D.有C不是A

单项选择题先论证与被反驳的论题相矛盾或相反对的判断为真，然后根据（），就可以确定被反驳的论题为假。

A.同一律
B.矛盾律
C.排中律
D.充足理由律

单项选择题根据对当关系，由SAP可推出的结论是（）

A.SEP
B.EP
C.SIP
D.SOP

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

问答题有a、b、c三类。已知：甲a真包含于b，乙c与b交叉。试证：a与c的关系。