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