négation par l'échec

concept règle d'inférence logique non monotonne par laquelle l'impossibilité d'inférer une propositon entraîne sa négation

Aussi : negation par l'echec, negation as failure, negation by failure