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

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