有a、b、c三类。已知：(甲)a真包含于b，(乙)c与b交叉。试证：a与c的关系。

有a、b、c三类。已知：(甲)a真包含于b，(乙)c与b交叉。试证：a与c的关系。

证明：由题设甲可知：所有a是b。由题设乙可知：有c是b或有c不是b。由“所有a是b且有c是b”不能得出结论，因为它违反了三段论“中项至少要周延一次”的规则。由“所有a是b且有c不是b”可得出“有c不是a”。由“有c不是a”可知a与c的关系为：c真包含a、c与a交叉或c与a全异。