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