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

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.