Een '''contradictie''' of '''tegenspraak''' is een situatie waarbij twee beweringen of waarnemingen die elkaar uitsluiten, tegelijkertijd waar moeten zijn.
----
Een voorbeeld van een contradictie in de [[logica]] is <math>p \land \neg p</math> (lees: <math>p</math> en niet <math>p</math>). In de klassieke logica geldt de regel [[ex falso sequitur quodlibet]]: uit een tegenspraak kan elke gewenste uitspraak worden afgeleid.