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 (lees: en niet ). In de klassieke en de intuïtionistische logica geldt de regel ex falso sequitur quod libet, oftewel uit het ongerijmde of een tegenspraak kan elke gewenste uitspraak worden afgeleid. Een contradictie is een onvervulbare propositie (= bewering of stelling), want het is niet mogelijk deze waar te laten zijn.
Zie ook Antinomie Contradictio in terminis Paradox (logica) Paradox (stijlfiguur) Wet van de non-contradictie
Categorie:Logica