Propositions et opération élémentaire/Négations

Début de la boite de navigation du chapitre

La table de vérité de ${\bar {P}}$ est la suivante:

fin de la boite de navigation du chapitre

Négation

La négation d'une proposition $P$ est la proposition notée ${\bar {P}}$ (ou non $P$ ou $\lnot P$), qui prend les valeurs de vérité opposées à celles de la proposition initiale $P$.

P	non P
Vraie	Fausse
Fausse	Vraie

Par exemple la négation de la proposition P : $x^{2}=4$ est la proposition non P : $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 ».