有a、b、c三类，已知①a真包含于b；②c与b交叉；试证a与c的关系。

有a、b、c三类，已知①a真包含于b；②c与b交叉；试证a与c的关系。

证明：(1)由题设①可知：所有a是b。由题设②可知：有c是b或有c不是b。(2)由“所有a是b且有c是b”不能必然得出结论。(3)由“所有a是b且有c不是b”可得出“有c不是a”。(4)由“有c不是a”可知a与c的关系为：c真包含a、c与a交叉或c与a全异。