Propositions opposées à la fois en qualité et en quantité.

Deux propositions sont dites contradictoires dans la logique aristotélicienne lorsque l'une est affirmative et universelle, l'autre négative et particulière, ou encore lorsque l'une est négative universelle, l'autre affirmative particulière. Un exemple de la première situation est : « Tous les hommes sont méchants ; quelque homme n'est pas méchant. » Deux propositions contradictoires ne sont jamais ni vraies ni fausses simultanément.