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

logique ◊ ou démonstration par l'absurde - elle consiste à supposer le contraire de la proposition énoncée et de montrer qu'on aboutit alors à une contradiction (impossibilité)