inferenza logica

inferenza logica

inferenza logica sinonimo di «argomentazione logica» utilizzato per designare il processo di deduzione di una formula A, detta conclusione, a partire da una o più formule, dette premesse. Secondo A. De Morgan, una inferenza è la «produzione di una proposizione come conseguenza necessaria di una o più proposizioni». In un linguaggio logico, come per esempio il linguaggio degli enunciati o il linguaggio dei predicati, la costruzione di una inferenza logica è formalizzata attraverso le regole di inferenza o regole di deduzione, le quali stabiliscono come dedurre da una o più formule ben formate, che rivestono il ruolo di premesse, un’altra formula ben formata detta conclusione (→ inferenza, regole di). Un esempio di regola di inferenza è il modus ponens.