The first of the two propositions which constitute an enthymeme or contracted syllogism; as, Every man is mortal; therefore the king must die.