Tautologie

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

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

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

Aber auch »7+2=9« ist eine Tautologie wenn wir uns im gewohnten Zahlensystem bewegen, ebenfalls »x-1 < x«.

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