in Logic, one of the six first modes of the third figure of syllogisms; the first proposition being an universal negative, the second an universal affirmative, and the third a particular negative.