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.
| Wort | Synonyme |
| Antivalenz | Kontravalenz |
| Antivalenz | Alternation |
| Antivalenz | Kontrajunktion |
| Antivalenz | kontradiktorischer Gegensatz |
| Antivalenz | ausschließendes Oder |
| Antivalenz | Bisubtraktion |
| Antivalenz | antivalente Disjunktion |
| Antivalenz | vollständige Disjunktion |
| Antivalenz | ausschließende Disjunktion |
| Antivalenz | Kontravalentor |
| Antivalenz | Entweder-Oder |
| Antivalenz | exklusives ODER |