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.