Define-se como contradição a proposição composta que será sempre falsa, independentemente dos valores lógicos das proposições simples que a compõem.
Exemplo: A proposição $p \wedge \thicksim p $ é sempre falsa independentemente dos valores lógicos de "p".