Regola di inferenza
Da Wikipedia, l'enciclopedia libera.
 |
Questa voce sull'argomento matematica è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia.
|
 |
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
- φ
- φ→ψ
è 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
- ∀x(φ)
