Eine Kontradiktion ist eine Aussage, die allein aufgrund seiner Form immer falsch ist. Die Kontradikition ist dabei ein logischer Widerspruch. Das Gegenteil der Kontradiktion ist die Tautologie.

Formen der Kontradiktion:

• P und nicht P.
• Es ist nicht der Fall, dass P oder nicht P.

Beispiele:

• Es regnet und es regnet nicht.
• Es ist nicht der Fall, dass es regnt oder nicht regnet.