Uma contradição é uma proposição lógica composta que é sempre falsa, independentemente do valor lógico das proposições simples que a constituem.

Sim, sua afirmação está correta. Uma contradição é uma proposição lógica composta que é sempre falsa, independentemente do valor lógico das proposições simples que a constituem. Em outras palavras, uma contradição é uma afirmação que não pode ser verdadeira em nenhuma circunstância.