raisonnement par deduction

Cette méthode utilise une ou plusieurs "inférences" :

Si (A vraie et (A ⇒ B) vraie) alors B vraie.