Construa as seguintes tabelas verdades das seguintes fórmulas e identifique as que são tautologias ou contradições:
Passo 1
O enunciado pede a tabela verdade da fórmula
e que a gente identifique se ela é tautologia (sempre verdadeira), contradição (sempre falsa) ou contingente.
Passo 2
Definimos todas as possíveis valorizações de
:
,
,
,
. Para cada par, calculamos
, depois
e por fim
.
Passo 3
Construímos a tabela:
Passo 4
Como a coluna final tem um
e três
, a fórmula não é sempre verdadeira nem sempre falsa: é contingente.
Resposta
A fórmula
é contingente (nem tautologia nem contradição).