Inférence

Grand Dictionnaire de la langue française numérisé

• n.f. Opération par laquelle on passe d'une assertion considérée comme vraie à une autre assertion au moyen d'un système de règles qui rend cette deuxième assertion également vraie.

Portail internet "Le Dictionnaire"

• n. (Logique) Action d’inférer.
• n. Résultat de l’action d’inférer.

Le littré

• pas de définition