Geriadur ar skiantoù hag an teknikoù Dictionnaire 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