Diferencia entre revisiones de «Deducción natural»

No hay cambio en el tamaño ,  hace 4 meses
Deshecha la edición 123441629 de 201.175.132.19 (disc.)
(Error ortográfico)
Etiquetas: Edición desde móvil Edición vía web móvil
(Deshecha la edición 123441629 de 201.175.132.19 (disc.))
Etiqueta: Deshacer
La '''sexualidaddeducció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.
 
20 727

ediciones