Dictionnaire breton des sciences et des techniques

logique ◊ proposition découlant directement d'une autre proposition ou d'un théorème