Le raisonnement direct consiste à enchaîner logiquement des faits ou des propositions connues jusqu'à parvenir à la conclusion souhaitée.
Exemple : Tout entier pair est divisible par 2. Or, 8 est un entier pair. Donc 8 est divisible par 2.
» Glossaire – Logique mathématique et méthodes de raisonnement