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).
Questão
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).
Alternativas
a) Contraválida
b) Tautologia
c) Redundância
d) Contradição
e) Contingência
Explicação
Pela definição apresentada, trata-se de uma proposição composta cuja última coluna da tabela-verdade fica sempre V, independentemente dos valores atribuídos às proposições simples.
Em Lógica Proposicional:
- Tautologia: fórmula/proposição composta que é verdadeira em todas as interpretações (todas as linhas da tabela-verdade dão V na coluna final).
- Contradição: seria sempre falsa (coluna final só com F).
- Contingência: às vezes V e às vezes F.
Logo, o termo correto para a proposição composta que “sempre termina em V” é tautologia.
Alternativa correta: (b).