Verifique se as fórmulas abaixo são tautologias, contradições ou contingências.
((P Q) P) P

Passo 1

O enunciado pede para classificar a fórmula ((P Q) P) P em tautologia, contradição ou contingência. O assunto é Lógica Proposicional e precisamos usar tabela-verdade para ver se a fórmula é sempre verdadeira, sempre falsa ou varia.

Passo 2

Vamos montar a tabela-verdade. As colunas intermediárias são P Q, depois (P Q) P, e por fim ((P Q) P) P.
Tabela-verdade:
Valores de P e Q | P Q | (P Q) P | ((P Q) P) P
V, V | V | V | V
V, F | F | V | V
F, V | V | F | V
F, F | V | F | V

Passo 3

Em todas as quatro linhas o valor final é verdadeiro, o que significa que a fórmula nunca falha.

Resposta

Tautologia.

Exercícios relacionados