已知概念A与概念B在外延上不相容,又已知“有B是C”为真,则判断()为真。
A:有C是A
B:有C不是A
C:有A不是C
D:所有A不是C
出自:00024《普通逻辑》