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

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

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