(Log.) Propositions which have the same term differing in quantity and quality, Contrary propositions being two universals with the same terms-the one negative, the other affirmative.