Construa as seguintes tabelas verdades das seguintes fórmulas e identifique as que são tautologias ou contradições:
neg(p neg q)

Passo 1

O enunciado pede a tabela verdade da fórmula neg(pneg q) e que a gente identifique se ela é tautologia (sempre verdadeira), contradição (sempre falsa) ou contingente.

Passo 2

Definimos todas as possíveis valorizações de (p,q): (F,F), (F,T), (T,F), (T,T). Para cada par, calculamos neg q, depois pneg q e por fim neg(pneg q).

Passo 3

Construímos a tabela:

Passo 4

Como a coluna final tem um T e três F, a fórmula não é sempre verdadeira nem sempre falsa: é contingente.

Resposta

A fórmula neg(pneg q) é contingente (nem tautologia nem contradição).

Exercícios relacionados