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

logique ◊ raisonnement qui consiste à montrer l'implication !!P implique Q!! en supposant que P est vrai, que Q est faux, et en montrant que cela aboutit à une contradiction