答:C真包含A.
已知:A真包含于B.①
有C不是B.②
若C不真包含A,则C真包含于A.③
据①②可知“有C不是A”.④
据④可知“C不真包含于A”.⑤
据③⑤可知“C真包含A”.⑥(充分条件假言推理否定后件式)
总之,A、B、C三概念在外延上可能有下述关系:
答:C真包含A.
已知:A真包含于B.①
有C不是B.②
若C不真包含A,则C真包含于A.③
据①②可知“有C不是A”.④
据④可知“C不真包含于A”.⑤
据③⑤可知“C真包含A”.⑥(充分条件假言推理否定后件式)
总之,A、B、C三概念在外延上可能有下述关系: