1. LogiqueCommutation 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.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.