négation logique

Français

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

Singulier	Pluriel
négation logique	négations logiques
\ne.ɡa.sjɔ̃ lɔ.ʒik\

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

(Logique) Commutation vrai ↔ faux, opérateur unaire.
- La négation logique d’une proposition $A$ s’écrit usuellement « non $A$ », « $\lnot A$ » ou « ${\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)

Allemand : Negation (de) féminin
Anglais : negation (en), logical complement (en)
Italien : negazione (it) féminin
Espagnol : negación (es) féminin, negación lógica (es) féminin, complemento lógico (es) masculin
Tchèque : negace (cs) féminin, logická negace (cs) féminin