Geriadur ar skiantoù hag an teknikoù Dictionnaire des sciences et des techniques

logique ◊ opération par laquelle une proposition devient fausse si elle était vraie, ou vraie si elle était fausse

• nac’hadur ur bropozadenn P eo ar bropozadenn notet « ¬P » lennet « nann P » ; gwir eo pac’h eo faos ar bropozadenn P ha faos eo pac’h eo gwir ar bropozadenn P
  la négation d’une proposition P est la proposition notée « ¬P » qui se lit « non P » ; elle est vraie quand la proposition P est fausse et fausse quand proposition P est vraie