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

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

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\ne 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 ».