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

Jump to navigation Jump to search
== Le regole ==
 
Per ogni connettivo sono specificate delle regole di [[http://it.wikipedia.org/wiki/Inferenza|inferenza]] che permettono di introdurre o eliminare una operazione logica nel corso della dimostrazione.
 
Vediamo quindi le regole:
Utente anonimo

Menu di navigazione