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

Riasalire agli assiomi o partire dagli assiomi non è semplice e spesso è molto poco intuitivo, in fondo l' unico esempio significativo di nteoria assiomatica che ci è giunta da tempi lontani è la geometria di Euclide.
 
Gentzen ha cercato un sistema di dimostrazione che fosse semplice ed intuitivo, arrivando alla "deduzione naturale", un sistema di dimostrazione senza assiomi e con 7una serie di regole il cui numero dipende dai connettivi che definiamo come primitivi.
 
{{avanzamento|25%}}
136

contributi