企源知识库

以“所有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。”是三 段论第一格的有效式.它符合三段论一般规 则和特殊规则的要求。