Inferènza

Enciclopedia on line

inferènza Nel linguaggio filosofico, ogni forma di ragionamento deduttivo, che dimostra come una proposizione derivi logicamente da un'altra. In logica 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.

CATEGORIE
TAG

Ragionamento deduttivo

Logica matematica

Proposizione

Assiomi