négation logique

== Français == === Étymologie === Locution composée de négation et de logique. === Locution nominale === 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 {\displaystyle A} s’écrit usuellement « non A {\displaystyle A} », « ¬ A {\displaystyle \lnot A} » ou « A ¯ {\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) ==== Abréviations ==== négation ==== Hyperonymes ==== connecteur logique opérateur logique opérateur unaire ==== Traductions ==== === Voir aussi === négation logique sur l’encyclopédie Wikipédia