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 |
---|---|
V | F |
F |
2ª linha: a negação de F é V.
p | ~p |
---|---|
V | F |
F | V |
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.