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 P rightarrow P 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 P:
Caso 1: P = V. Então
P rightarrow P = V rightarrow V = V
Caso 2: P = F. Então
P rightarrow P = F rightarrow F = V
Em ambas as linhas da tabela–verdade o resultado é verdadeiro.

Passo 3

Como a fórmula é verdadeira em todas as valorações de P, ela é uma tautologia, ou seja, válida.

Resposta

Válida.

Exercícios relacionados