Como o próprio nome já diz, a negação recebe um valor lógico diferente: se a proposição é V, a negação dela será F, e vice-versa.

A negação é o único conectivo que pode ser utilizado independentemente da quantidade de proposições simples.

Os outros conectivos são utilizados para relacionar mais de uma proposição.

Dada uma proposição p, chama-se negação de p a proposição denotada por ~p, que se lê não p.

Vamos agora montar a tabela-verdade da negação de p, ou seja, ~p.

Observe que temos apenas 1 átomo: p. O ~ é negação.

Utilizando a fórmula,

2\(^1\) = 2

teremos uma tabela com 2 linhas.

p

Vamos preencher a coluna da proposição p com os possíveis valores lógicos.

p
V
F

Em seguida acrescentaremos a coluna da proposição ~ p.

p~p
V
F

E, finalmente, analisaremos a operação.

1ª linha: se p tem V como valor lógico, a negação de p será F (a negação de V é F).

p~p
VF
F

2ª linha: a negação de F é V.

p~p
VF
FV

Pronto! Obtemos a tabela-verdade da negação.

Esta foi uma demonstração gratuita.

Logue para ter acesso a todo conteúdo interativo.

Hum, ainda não criou conta!?

Crie sua conta e ative-a para ter acesso a todo conteúdo interativo.

Criar conta Login