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
".