zusammengesetzte Aussage φ eines logischen Kalküls, die unabhängig von den Wahrheitswerten der Teilaussagen oder -aussageformen von φ schon aufgrund ihrer logischen Struktur stets falsch ist.

Als Kontradiktionen werden auch häufig die Ausdrücke des Aussagen- oder Prädikatenkalküls bezeichnet, die durch keine Belegung wahr werden. Das Pendant zur Kontradiktion ist die Tautologie. Die Negationen der Tautologien sind genau die Kontradiktionen.