Kontravalenz ist in der klassischen Logik und Mathematik die Bezeichnung für die Verbindung zweier Aussagen durch den zweistelligen Junktor, der entweder – oder, exklusives Oder sowie auch Kontravalentor heißt.
Synonym mit Kontravalenz werden auch die Bezeichnungen ausschließende Disjunktion (auch vollständige oder antivalente Disjunktion), Bisubtraktion, ausschließendes Oder, Antivalenz, kontradiktorischer ...