已知概念a与概念b为全异关系，并且，概念b真包含于概念c。请用欧拉图表示a、b、c三者之间可能具有的几种外延关系，并据此判定：①“所有c是a”、②“所有c不是a”、③“有的c是a”、④“有的c不是a”这四种命题中，哪一种命题不可能为真？为什么？