Uma proposição composta será uma Contradição se, e somente se, for a contrapositiva de uma Contingência.

Uma proposição composta, cuja última coluna de sua tabela-verdade possui somente valores lógicos falsos, é uma Contradição.

Uma proposição composta será uma Contradição se, e somente se, os valores lógicos nas colunas das proposições forem somente verdadeiros ou somente falsos.

Uma proposição composta, formada por três proposições simples (p, q, r), somente será uma Contradição, quando pelo menos uma de suas proposições simples for a sua negação.

Uma proposição composta, cuja última coluna de sua tabela-verdade possui valores lógicos alternadamente verdadeiros e falsos ou falsos e verdadeiros, é uma Contradição.