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

nessun oggetto della modifica
Nessun oggetto della modifica
 
Gentzen ha cercato un sistema di dimostrazione che fosse semplice ed intuitivo, arrivando alla "deduzione naturale", un sistema di dimostrazione senza assiomi e con una serie di regole il cui numero dipende dai connettivi che definiamo come primitivi.
 
{{avanzamento|25%}}
 
[[Categoria:Logica|Deduzione naturale]]
 
== Le regole ==
== Collegamenti esterni ==
*{{en}} [http://www-lsr.imag.fr/users/Michel.Levy/classical_prop/ Un dimostratore interattivo che utilizza la deduzione naturale].
 
{{avanzamento|25%}}
[[Categoria:Logica Matematica|Deduzione naturale]]