in Logic, an appellation given to the two first propositions of a syllogism.