一个有效的三段论的小前提是E判断,其大前提是