以特称否定命题做小前提构成三段论,可以得出必然性结论.三段论有四个格,很多式,只要三段论的格与式符合三段论推理的规则,都可以得出必然的结论.
比如第二格的AOO式,大前提是PAM,小前提是SOM,结论为SOP,这是必然的结论.小前提就是特称否定命题.