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

nessun oggetto della modifica
mNessun oggetto della modifica
Nessun oggetto della modifica
 
[[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.
136

contributi