Para cada uma das sentenças abaixo, dizer se é contraditória, satisfatível ou válida:
Passo 1
O enunciado pede para classificar a fórmula
em lógica proposicional, identificando se é contraditória (sempre falsa), satisfatível (verdadeira em pelo menos uma valoração) ou válida (sempre verdadeira). Vamos usar tabela–verdade para ver em todas as valorações.
Passo 2
Considerando as duas possíveis valorações de
:
Caso 1:
. Então
Caso 2:
. Então
Em ambas as linhas da tabela–verdade o resultado é verdadeiro.
Passo 3
Como a fórmula é verdadeira em todas as valorações de
, ela é uma tautologia, ou seja, válida.
Resposta
Válida.