Capítulo 14Lógica

A negação de uma proposição $A$, denotado não $A$, é a proposição que é verdadeira quando $A$ é falsa, e é falsa quando $A$ é verdadeira.

1. A negação da proposição « este carro é azul » é « este carro não é azul ».
2. A proposição « $3^2=5$ » é falsa, sua negação « $3^2\ne 5$ » é verdadeira.
3. A negação de « $x\gt y$ » é « $x\leq y$ » que é falsa para $x=5$ e $y=-1$ mas é verdadeira para $x=2$ e $y=7$.

Deduz-se que a negação da negação de uma proposição $A$ é a própria proposição $A$ que pode ser escrita da seguinte forma não (não $A$) = $A$.

1. A frase « você não deixa de saber…”. » significa exatamente « você sabe…».
2. As proposições « esse cachorro dorme » e « esse cachorro come » não são negações uma da outra,pois todas as duas podem ser falsas (se, por exemplo, o cachorro corre).