négation logique

Locution composée de négation et de logique.

négation logique \ne.ɡa.sjɔ̃ lɔ.ʒik\ féminin

1. (Logique) Commutation vrai ↔ faux, opérateur unaire.
   • La négation logique d’une proposition ${\displaystyle A}$ s’écrit usuellement « non ${\displaystyle A}$ », « ${\displaystyle \lnot A}$ » ou « ${\displaystyle {\bar {A}}}$ ».
   • La négation logique transforme une propriété vraie en une propriété fausse ; une propriété fausse en une propriété vraie ; une propriété en une nouvelle propriété qui est satisfaite exactement par les éléments qui ne satisfont pas la première. — (Sylvie Benzoni-Gavage, Université de Lyon, accédé le 10.12.2022 → lire en ligne)
   • En logique et en mathématiques, une négation logique est un opérateur unaire qui renverse la valeur de vérité de son opérande. — (négation)

• négation logique sur l’encyclopédie Wikipédia