Eine Verknüpfung von Aussagen heißt Kontradiktion, wenn sie für alle Wahrheitswerte konstant falsch ist.