raisonnement déductif

concept méthode de raisonnement en logique binaire, dans laquelle les conditions données comme vraies impliquent nécessairement certaines conclusions

Aussi : raisonnement par déduction, déduction logique, déduction, méthode déductive, inférence déductive, logique déductive