A form or mode of syllogism of which the first proposition is a universal affirmative, and the other two are particular negative.