以“所有A不是B”与“有c是A”为前提，能否必然推出“有B不是c”?能否必然推出‘‘有C不是B”?为什么?

以“所有A不是B”与“有c是A”为前提，能否必然推出“有B不是c”?能否必然推出‘‘有C不是B”?为什么?

(1)不能必然推出有B不是C、。这是因为：“有C是A;所有A不是B，所以，有B不是c。”是三段论第四格的无效式，它违反了三段论“在前提中不用延的项，到结论中也不得周延”的规则，犯了大项不当周延的逻辑错误。(2)能必然推出有c不是B，这是因为：“所有A不是B;有c是A：所以，有c不是B。”是三段论第一格的有效式，它符合三段论一般规则和特殊规则的要求。