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

logique ◊ invalider, remettre en question

• nac'hañ un hipotezenn
  infirmer une hypothèse
• n'heller na goñfirmañ na nac'hañ teorienn c'hwezadur an Hollved dre arnodiñ
  la théorie de l'inflation de l'Univers ne peut être confirmée ni infirmée expérimentalement

logique ◊ invalidation, remise en question

• kadarnadur ha nac'h an hipotezennoù
  confirmation et infirmation des hypothèses
• nac'h un deorienn
  l'infirmation d'une théorie

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.

informatique ◊ s'agissant d'une interface d'application, rejeter les données entrées car non conformes