Nella logica matematica una regola di inferenza è una regola formale che stabilisce quando un enunciato formalizzato (cioè una formula di un linguaggio proposizionale o del primo ordine) è conseguenza logica di un altro soltanto sulla base della struttura sintattica degli enunciati. Nella logica proposizionale l'unica regola di inferenza necessaria è il modus ponens che stabilisce che

dalle formule φ e φ→ψ è possibile dedurre la formula ψ

In una teoria del primo ordine bisogna aggiungere al modus ponens una regola per l'introduzione dei quantificatori, la regola di generalizzazione:

dalla formula φ è possibile dedurre la formula $\backslash forall\; x\; \backslash varphi$.

Voci correlate

• Logica proposizionale
• Linguaggio del primo ordine
• Teoria del primo ordine

Logica matematica

Schlussregel | Rule of inference | Härledningsregel