已知概念a与概念b为全异关系，并且，概念b真包含于概念c。请用欧拉图表示a、b、c三者之间可能具有的几种外延关系，并据此判定：①“所有c是a”、②“所有c不是a”、③“有的c是a”、④“有的c不是a”这四种命题中，哪一种命题不可能为真？为什么？
正确答案:
（1）既然（A∧B）→C为一个有效三段论，则其结论C只能或者为肯定命题或者为否定命题。
（2）若结论C为肯定命题，根据“前提之一否定则结论必否定”的规则，则A与B均为肯定命题，而D为否定命题。这时，（A∧D）→C是一个无效的三段论，因为它违反了“前提之一否定则结论必否定”的规则。
（3）若结论C为否定命题，则A与B必然是一个为肯定命题另一个为否定命题。 第一，若小前提B为肯定命题，大前提A为否定命题，则D为否定命题，这时，（A∧D）→C是一个无效的三段论，因为它违反了“前提之一必须肯定”的规则。第二，若小前提B为否定命题，大前提A肯定命题，则D也为肯定命题，这时，（A∧D）→C也是一个无效的三段论，因为它违反了“结论否定则前提之一必须否定”的规则。
综上所述，（A∧D）→C是一个无效的三段论。
（2）若结论C为肯定命题，根据“前提之一否定则结论必否定”的规则，则A与B均为肯定命题，而D为否定命题。这时，（A∧D）→C是一个无效的三段论，因为它违反了“前提之一否定则结论必否定”的规则。
（3）若结论C为否定命题，则A与B必然是一个为肯定命题另一个为否定命题。 第一，若小前提B为肯定命题，大前提A为否定命题，则D为否定命题，这时，（A∧D）→C是一个无效的三段论，因为它违反了“前提之一必须肯定”的规则。第二，若小前提B为否定命题，大前提A肯定命题，则D也为肯定命题，这时，（A∧D）→C也是一个无效的三段论，因为它违反了“结论否定则前提之一必须否定”的规则。
综上所述，（A∧D）→C是一个无效的三段论。
答案解析:有
微信扫一扫手机做题