nom féminin
(lat. negatio, de negare, nier)
LOGIQUE Négation d'une proposition p, proposition qui résulte de la proposition p par l'ajout du connecteur ¬ (« ¬ p » se lit « non-p »). [ ¬ p n'est vrai que si p est faux.]
LOGIQUE Principe de la double négation, principe selon lequel, s'il est faux que A soit faux, alors A est vrai.