Négations

La négation d'une proposition ${\displaystyle P}$ est la proposition notée ${\displaystyle {\bar {P}}}$ ou non ${\displaystyle P}$ ou encore ${\displaystyle \lnot P}$ qui est vraie si et seulement si ${\displaystyle P}$ est fausse.

Voici la table de vérité de ${\displaystyle {\bar {P}}}$ :

Par exemple la négation de la proposition P : ${\displaystyle x^{2}=4}$ est la proposition non P : ${\displaystyle x^{2}\neq 4}$.

Ou encore la négation de la proposition Q « Tous les chevaux sont blancs » est la proposition non Q « Un cheval n’est pas blanc ».