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

logique ◊ raisonnement déductif rigoureux se fondant sur les rapports d'inclusion et d'exclusion des propositions sans qu'aucune proposition étrangère soit sous-entendue