Para cada uma das sentenças abaixo, dizer se é contraditória, satisfatível ou válida:
P P

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 P P:
c|c P & P Phline V & V F & V

Passo 3

Observando a tabela-verdade, vemos que P P é verdadeiro em todas as linhas (quando P é verdadeiro e quando P é falso). Isso significa que a fórmula é sempre verdadeira, ou seja, é uma tautologia.

Resposta

Válida

Exercícios relacionados