Déduction

Le processus ou l'opération consistant à tirer des conclusions qui suivent nécessairement de prémisses données par l'application de règles d'inférence au sein d'un système logique ; la déduction produit des conclusions dont la vérité est entraînée par les prémisses et les règles.