Para cada uma das sentenças abaixo, dizer se é contraditória, satisfatível ou válida:
Passo 1
O enunciado pede para classificar a sentença lógica quanto a ser contraditória, satisfatível ou válida. O conteúdo é lógica proposicional e vamos precisar usar tabela-verdade para ver se a fórmula é sempre verdadeira, sempre falsa ou verdadeira em alguns casos.
Passo 2
Vamos construir a tabela-verdade para a fórmula
:
Passo 3
Observando a tabela-verdade, vemos que
é verdadeiro em todas as linhas (quando
é verdadeiro e quando
é falso). Isso significa que a fórmula é sempre verdadeira, ou seja, é uma tautologia.
Resposta
Válida