如题所述
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的真子集的意思。
温馨提示:答案为网友推荐,仅供参考