如果一个有效三段论的大前提是特称否定命题,则其小前提应当是().
A:SEM
B:SAM
C:MAS
D:MIS
出自:哲学