Raisonnement, logique-mathématique