Contradictoire

En logique, relation entre deux propositions dont l'une affirme et l'autre nie le même prédicat du même sujet, de sorte qu'elles ne peuvent être ni vraies ni fausses ensemble. Le principe de non-contradiction interdit qu'une chose soit et ne soit pas sous le même rapport.