Versione delle 20:45, 21 nov 2011 modifica Dega180 (discussione \| contributi) Rollbacker 37 911 modifiche Categorizzato stub + template W ← Differenza precedente		Versione delle 22:04, 8 dic 2011 modifica annulla Dega180 (discussione \| contributi) Rollbacker 37 911 modifiche Wikificata Differenza successiva →
Riga 1: {{Avvisounicode}} {{S\|logica}} ~~{{W\|matematica\|novembre 2011\|da riscrivere le lettere greche utilizzando o LaTeX oppure i caratteri speciali forniti da wikipedia}}~~ Nella [[logica matematica]] una '''regola di inferenza''' è una regola formale che stabilisce quando un enunciato formalizzato (cioè una formula di un [[logica proposizionale\|linguaggio proposizionale]] o [[linguaggio del primo ordine\|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 <div style="float:center; width:85%; padding:15px; background: #f5f8ff; border: 1px solid blue; margin-left:8px; margin-right:8px;margin-bottom:15px; text-align:left"> Dalle formule <math>\phi \,\!</math> φ *&<math>\phi~~;→&~~ \to \psi; \,\!</math> è possibile dedurre la formula :<math>\psi \,\!</math> ~~:ψ~~ </div> In una [[teoria del primo ordine]] bisogna aggiungere al ''modus ponens'' una regola per l'introduzione dei [[quantificatore\|quantificatori]], la '''regola di generalizzazione''': <div style="float:center; width:85%; padding:15px; background: #f5f8ff; border: 1px solid blue; margin-left:8px; margin-right:8px;margin-bottom:15px; text-align:left"> Dalla formula :&<math>\phi; \,\!</math> è possibile dedurre la formula :<math>\forall x(\phi) \,\!</math> ~~:∀x(φ)~~ </div> == Voci correlate==

Regola di inferenza: differenze tra le versioni