Dictionnaire breton des sciences et des techniques

mathématiques , informatique , logique ◊ principe de logique selon lequel si une proposition est vraie, alors sa négation est nécessairement fausse