Regola di inferenza: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
tolto grassetto (WP:STILE) |
Categorizzato stub + template W |
||
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
| |||