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

m
nessun oggetto della modifica
(Nuova pagina: === La deduzione naturale === Gerhard Gentzen ha notato che il sistema assiomatico di Hilbert è molto lontano da modo di ragionare che applicano i matematici nella loro attività quo...)
 
mNessun 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 7 regole.
 
{{avanzamento|25%}}
 
[[Categoria:Logica|Deduzione naturale]]
11 473

contributi