négation [latin : negare, dire non] (2) :

Connecteur noté ¬(lire "non"), défini par la table de vérité suivante :

p
¬p
V
F
F
V

La proposition ¬p est vraie si et seulement si p est fausse.

La négation de " 2+3=5 " est " 2+35 ".
La négation de " x<3 " est " x3 ".