Diferencia entre revisiones de «Deducción natural»

6 bytes añadidos ,  hace 10 años
m
sin resumen de edición
m
La '''deducción natural''' es una aproximación a la [[teoría de la demostración]] en la que se busca capturar mejor la manera en que los humanos efectivamente''de hecho'' construyen [[Demostración matemática|demostraciones matemáticas]].<ref>{{cita enciclopedia |apellido=Portoraro |nombre=Frederic |título=Automated Reasoning |idioma=inglés |url=http://plato.stanford.edu/archives/spr2010/entries/reasoning-automated/ |enciclopedia=Stanford Encyclopedia of Philosophy |edición=Spring 2010 Edition |sined=sin |editor=Edward N. Zalta}}</ref><ref name=ProofTheory>{{cita enciclopedia |apellido=von Plato |nombre=Jan |título=The Development of Proof Theory |idioma=inglés |url=http://plato.stanford.edu/archives/fall2008/entries/proof-theory-development/ |enciclopedia=Stanford Encyclopedia of Philosophy |edición=Fall 2008 Edition |sined=sin |editor=Edward N. Zalta}}</ref> En vez de contar con unos pocos [[axioma]]s a los que se aplican unas pocas [[reglas de inferencia]], la deducción natural propone [[Conjunto vacío|vaciar]] la lista de axiomas y ampliar la de reglas de inferencia, introduciendo dos reglas para cada [[constante lógica]]: una para introducirla y otra para eliminarla.<ref name=ProofTheory /> Una demostración de contruye partiendo de supuestos y aplicando las reglas para llegar a la conclusión deseada.
 
La deducción natural fue introducida por [[Gerhard Gentzen]] en su trabajo ''Investigaciones sobre la inferencia lógica (Untersuchungen über das logische Schliessen)'', publicado en 1934-1935.<ref name=ProofTheory />
20 725

ediciones