inferènza Nel linguaggio filosofico, ogni forma di ragionamento deduttivo, che dimostra come unaproposizione derivi logicamente da un'altra. Inlogica matematica, si dicono 'regole d'i.' l'insieme delle regole in base alle quali in un sistema deduttivo possono essere derivati enunciati e teoremi a partire da assiomi o da altri enunciati.