问答题
已知:(1)A真包含于B;(2)有C不是B;(3)若C不真包含A,则C真包含于A。问:A与C具有什么关系?请写出推导过程,并用欧拉图将A、B、C三概念在外延上可能有的关系表示出来。
(1)A真包含于B,则所有A是B。 (2)由所有A是B,有C不是B,得有C不是A。 (3)由有C不是A,得并非C真包含于A。 (4)由此C真包含A。 (5)A、B、C三概念在外延上的欧拉图如下: