Capítulo 14Lógica

La negación de una proposición $A$, se denota no $A$, esta proposición es falsa si $A$ es verdadera y es verdadera si $A$ es falsa.

1. La negación de la proposición « el coche es de color azul » es « el coche no es de color azul  ».
2. La proposición « $3^2=5$ » es falsa, su negacion « $3^2\ne 5$ » es verdadera.
3. La negación de « $x\gt y$ » es « $x\leq y$ » lo cual es falso para $x=5$ y $y=-1$ pero es verdadera para $x=2$ y $y=7$.

Se deduce que la negación de la negación de la proposición $A$, es la proposición $A$.
Se puede escribir, no (no $A$) = $A$.

1. La frase « usted esta consiente … » significa exactamente « usted sabe… ».
2. Las proposiciones « el perro duerme » y « el perro come » no son negaciones una de la otra , ya que ambas pueden falsas (por ejemplo si el perro corre).