Wikibooks

Logica matematica/Calcolo delle proposizioni/La deduzione naturale: differenze tra le versioni

Naviga nella cronologia in modo interattivo
← Differenza precedenteDifferenza successiva →
Contenuto cancellato Contenuto aggiunto
VisualeWikitesto
Diablo (discussione | contributi)
11 473 modifiche
mNessun oggetto della modifica
Nessun oggetto della modifica
Riga 10:
 
[[Categoria:Logica|Deduzione naturale]]
 
== Le regole ==
 
Per ogni connettivo sono specificate delle regole di inferenza che permettono di introdurre o eliminare una operazione logica nel corso della dimostrazione.
Estratto da "https://it.wikibooks.org/wiki/Logica_matematica/Calcolo_delle_proposizioni/La_deduzione_naturale"