一个有效三段论,若大前提为PAM,结论为SOP,则其小前提必然为()。
A:SAM
B:MOS
C:SOM
D:MIS
出自:法学