Para determinar qual é a definição correta de uma proposição composta que é contraditória, vamos analisar as alternativas: 1. Seu valor lógico é falso e todas as proposições simples que a constituem são falsas. - Isso descreve uma proposição que é falsa, mas não necessariamente contraditória, pois uma proposição pode ser falsa sem ser uma contradição. 2. Uma ou mais das proposições que a constituem decorre/decorrem de premissas sempre falsas. - Isso não define uma proposição contraditória, mas sim uma proposição que pode ser derivada de premissas falsas. 3. Seu valor lógico é sempre falso, não importando o valor de suas proposições constituintes. - Esta é a definição correta de uma proposição contraditória. Uma proposição é considerada contraditória se, independentemente dos valores das proposições simples que a compõem, ela sempre resulta em um valor lógico falso. 4. Suas proposições constituintes não permitem inferir uma conclusão sempre verdadeira. - Isso não é uma definição de contradição, mas sim uma descrição de proposições que podem ser indeterminadas ou não conclusivas. 5. Uma ou mais das proposições que a constituem possui/possuem valor lógico indeterminável. - Isso não se relaciona diretamente com a definição de contradição. Portanto, a alternativa correta é: "Seu valor lógico é sempre falso, não importando o valor de suas proposições constituintes."