Négation

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Un connecteur logique unaire qui donne la valeur de vérité opposée de la formule opérande ; noté typiquement ¬A et défini de sorte que ¬A soit vrai exactement quand A est faux (en logique propositionnelle classique).