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 $p\; \backslash land\; \backslash neg\; p$ (lees: $p$ en niet $p$). In de klassieke logica geldt de regel ex falso sequitur quodlibet: uit een tegenspraak kan elke gewenste uitspraak worden afgeleid.

Zie ook

• Paradox
• Tegenstelling

Logica

Contradiction | Contradiction | Mótsögn | 矛盾 | 모순 | Prieštaravimas | Contradição | Противоречие (ТРИЗ) | Motsägelse | 矛盾