in Logic, a term given to the fourth mode of the second figure of syllogisms. A syllogism in baroco has the first proposition universal and affirmative, but the second and third particular and negative, and the middle term is the predicate in the two first propositions. For example,

Nullus homo non est bipes: Non omne animal est bipes: Non omne animal est homo.