Dieser Artikel von Wikipedia ist u.U. veraltet. Die neue Version gibt es hier. Eine Kontradiktion oder auch Widerspruch ist eine Aussage der Aussagenlogik die immer falsch ist. anderen Worten eine Kontradiktion ist eine Aussage immer den Wahrheitswert falsch annimmt unabhängig davon wie die Variablen der Aussage belegt sind.