Raisonnement logique et numérique