Diferencia entre revisiones de «Deducción natural»

Contenido eliminado Contenido añadido
m Bot: reemplazando sintaxis obsoleta de Látex, véase mw:Extension:Math/Roadmap
Sin resumen de edición
Línea 1:
La '''deducción natural''' es una aproximación a la [[teoría de la demostración]] en la que se busca capturar la manera en que las personas razonan naturalmente al construir [[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 se construye partiendo de supuestos y aplicando las reglas para llegar a la conclusión deseada.
Sirve para demostrar la validez de un argumento.
 
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 />