Construa tabelas verdades para:
\sim(\sim p)

Passo 1

O enunciado pede a tabela‐verdade da proposição \sim(\sim p). O conteúdo envolvido é lógica proposicional, mais especificamente o operador de negação e como montar uma tabela‐verdade.

Passo 2

Como há somente uma variável proposicional p, teremos 2^1=2 linhas na tabela, correspondendo a p ser verdadeiro V ou falso F.

Passo 3

Para cada linha vamos calcular primeiro \sim p (negação de p) e depois \sim(\sim p) (negação do resultado anterior), lembrando que a negação inverte o valor lógico.

Resposta

p \sim p \sim(\sim p)
V F V
F V F

Exercícios relacionados