A __________ é considerada toda a proposição composta que encerra sua última coluna da Tabela Verdade apenas com valor lógico VERDADEIRO (V), ou seja, é toda proposição composta P(p, q, r,...) cujo valor verdade sempre termina em V, independente dos valores lógicos das proposições simples atômicas (p, q, r,...) (ALENCAR FILHO, 2003).

Alternativa B - Tautologia

A questão aborda um conceito fundamental da Lógica Matemática, especificamente sobre a classificação de proposições compostas baseada no comportamento de suas Tabelas Verdade.

O enunciado descreve uma proposição cujo resultado final é sempre verdadeiro, independentemente dos valores assumidos pelas premissas simples.

Análise Detalhada

Para responder corretamente, é necessário diferenciar os tipos de proposições quanto ao seu valor lógico final:

• Tautologia: Proposição composta que resulta sempre em Verdadeiro (V) em todas as linhas da tabela verdade.
• Contradição: Proposição composta que resulta sempre em Falso (F) em todas as linhas da tabela verdade.
• Contingência: Proposição que apresenta mistura de V e F na última coluna, dependendo dos valores das componentes.

Por que as outras alternativas estão incorretas?

1. Contraválida: Não é um termo técnico padrão na lógica formal para classificar esse tipo específico de proposição.
2. Redundância: Refere-se à repetição de ideias ou termos, não ao valor lógico consistente de uma fórmula.
3. Contradição: Seria o caso oposto, onde a última coluna contém apenas Falsos (F).
4. Contingência: Envolve casos mistos, não apenas verdadeiros.

Conclui-se que a definição apresentada corresponde estritamente ao conceito de Tautologia.

Alternativa B.