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

logique ◊ démontrer la proposition énoncée en partant directement des hypothèses données et en arrivant à la conclusion par une suite d'implications logiques