Dictionnaire breton des sciences et des techniques

logique ◊ raisonnement qui consiste à montrer l'implication !!si P alors Q!! en supposant que P est vrai et en démontrant que Q est vrai