Verifique usando tabelas de verdade a validade das seguintes fórmulas:
(neg P P) P

Passo 1

Recebemos a fórmula (neg P P) P e queremos verificar se ela é válida, isto é, se é uma tautologia usando tabela de verdade.

Passo 2

Relembramos as definições: a negação neg P inverte o valor de verdade de P; a implicação A B é falsa somente quando A é verdadeira e B é falsa, e verdadeira nos demais casos.

Passo 3

Montamos a tabela de verdade com as colunas P, neg P, neg P P e (neg P P) P.
Preenchemos a tabela conforme segue:
c|c|c|c P & neg P & neg P P & (neg P P) P hline V & F & V & V F & T & F & T

Passo 4

Observamos que a coluna final (neg P P) P assume valor V em todas as valorações de P.

Resposta

A fórmula (neg P P) P é uma tautologia, logo é válida.

Exercícios relacionados