有a、b、c三类。已知:甲a真包含于b,乙c与b交叉。试证:a与c的关系。
出自:00024《普通逻辑》