Regola di inferenza: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
tolto grassetto (WP:STILE) |
||
Riga 3:
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
<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
| |||