Kontradiktionen sind Aussagen, die stets falsch sind und somit keine neue Erkenntnis bringen, ausser halt dass die gegebene Aussage falsch ist.

Beispiel: sei A eine binäre Variable, A kann also nur falsch (0) oder richtig (1) sein.

Dann ist »A und nicht A« eine Kontradiktion: egal, ob A wahr oder falsch ist: »A und nicht A« ist stets falsch.

Aber auch »2+2=5« ist eine Kontradiktion wenn wir uns im gewohnten Zahlensystem bewegen, ebenfalls »x+1 < x«.

Das Gegenstück zur Kontradiktion ist die Tautologie: beispielsweise »A oder nicht A«, »2+2=4«.