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

logique ◊ opération qui consiste à admettre une proposition en raison de son lien avec une proposition préalable tenue pour vraie