Inférence

L'inférence est le mécanisme général par lequel on déduit de nouvelles propositions à partir de propositions existantes selon l'ensemble de règles d'une logique ; elle précise comment les conclusions découlent des prémisses dans un formalisme donné.