négation logique
étymologie
locution nominale
Ce texte est extrait du Wiktionnaire et il est disponible sous licence CC BY-SA 3.0 | Terms and conditions | Privacy policy 0.002
étymologie
locution nominale
Singulier | Pluriel |
---|---|
négation logique | négations logiques |
\ne.ɡa.sjɔ̃ lɔ.ʒik\ |
négation logique
- (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)
- 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. — ()
Ce texte est extrait du Wiktionnaire et il est disponible sous licence CC BY-SA 3.0 | Terms and conditions | Privacy policy 0.002
