有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全异。
有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全异。
