逻辑题：已知：1.A真包含于B；2.有C不是B；3.若C不真包含A，则C真包含于A.问：A于与C什么关系？

C真包含A.

已知：A真包含于B.①

有C不是B.②

若C不真包含A,则C真包含于A.③

据①②可知“有C不是A”.④

据④可知“C不真包含于A”.⑤

据③⑤可知“C真包含A”.⑥（充分条件假言推理否定后件式）

总之,A、B、C三概念在外延上可能有下述关系：

扩展资料

如果集合A是集合B的子集，并且集合B不是集合A的子集，那么集合A叫做集合B的真子集。如果A包含于B,且A不等于B,就说集合A是集合B的真子集。

真包含于号是用来表示一个集合是另一个集合的真子集的记号。如A真包含于B，表示集合A真包含于集合 B内，或A是B的真子集的意思。