Dictionnaire breton des sciences et des techniques

logique ◊ raisonnement qui cherche à montrer que l’assertion !!P implique Q!! est vrai , pour ce faire on suppose que P est vrai, et on veut montrer qu’alors Q est vrai