【正确答案】证明： (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全异。