（1）能必然推出有C不是B，这是因为：“所有A不是B；有C是A；所以，有C不是B。”是三段论第一格的有效式，它符合三段论一般规则和特殊规则的要求。
（2）不能必然推出有B不是C。这是因为：“有C是A；所有A不是B；所以，有B不是C。”是三段论第四格的无效式，它违反了三段论“在前提中不周延的项，到结论中也不得周延”的规则，犯了大项扩大的逻辑错误。
（简答题）
以“所有A不是B”与“有C是A”为前提，能否必然推出“有B不是C”？能否必然推出“有C不是B”？为什么？
正确答案
答案解析
略
相似试题
（多选题）
由所有A不是B和有的C是B，可推出的结论是（）或（）。
（单选题）
根据已知条件：“有C是B”和“所有A不是B”能推出的正确结论是（）
（多选题）
以PEM为前提，增补哪两个选项之一为另一前提，必然推出SOP的结论（）
（简答题）
一个三段论以E判断为大前提，I判断为小前提，能得出什么结论？为什么？
（多选题）
以“MIP”和“SOM”为前提进行三段论推理，所违反的格的具体规则是（）
（多选题）
以“MIP”和“SOM”为前提进行三段论推理，所违反的格的具体规则是（）和（）。
（多选题）
以“所有P是M”、“所有S不是M”为大小前提进行三段论推理，可必然推出（）
（简答题）
如果一个正确三段论的结论为SAP，它的大前提、小前提各是什么？以“M”作中项写出它的逻辑形式。
（简答题）
如果一个有效三段论的大前提为O判断，试问它是第几格三段论？请分别以S、M、P为小项、中项、大项，写出它的逻辑形式。
