inferència

f
Lògica

En la lògica simbòlica, qüestió metalògica relativa a l’establiment de les anomenades regles d’inferència, variables segons els càlculs proposats, que permetin la derivació d’una conclusió a partir d’unes premises.