GRAMMAIRE ET LOGIQUE DES MATHEMATIQUES.
4 45
IX
La déduction est un mode de raisonnement par lequel nousdescendons des vérités générales aux vérités particulières.
Ainsi, quand nous concluons, après avoir établi que tousles corps tombent, qu’un certain corps doit tomber, nous rai-sonnons par déduction.
40