参考答案：证明：
(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全异。