Verifique se as fórmulas abaixo são tautologias, contradições ou contingências.
Passo 1
O enunciado pede para classificar a fórmula
em tautologia, contradição ou contingência. O assunto é Lógica Proposicional e precisamos usar tabela-verdade para ver se a fórmula é sempre verdadeira, sempre falsa ou varia.
Passo 2
Vamos montar a tabela-verdade. As colunas intermediárias são
, depois
, e por fim
.
Tabela-verdade:
Valores de e
|
|
|
V, V | V | V | V
V, F | F | V | V
F, V | V | F | V
F, F | V | F | V
Tabela-verdade:
Valores de
V, V | V | V | V
V, F | F | V | V
F, V | V | F | V
F, F | V | F | V
Passo 3
Em todas as quatro linhas o valor final é verdadeiro, o que significa que a fórmula nunca falha.
Resposta
Tautologia.