En la lógica de predicados, la generalización existencial[1][2] (también conocida como introducción existencial, ∃I) es una regla de inferenciaválida que permite pasar de una declaración específica, o una instancia, a una declaración generalizada cuantificada o proposición existencial. En lógica de primer orden, se utiliza con frecuencia como una regla para el cuantificador existencial (∃) en pruebas formales.
Ejemplo: "A Rover le encanta mover la cola. Por lo tanto, algo ama menear la cola."
En cálculo de estilo Fitchː
Donde a reemplaza a todas las instancias libres de x en Q (x).[3]
Quineeditar
Según Willard Van Orman Quine, la instanciación universal y generalización existencial son dos aspectos de un solo principio, porque en vez de decir que "∀ x x=x" implica "Sócrates=Sócrates", podríamos decir también que la negación "Sócrates≠Sócrates" "implica" ∃xx≠x". El principio de esos dos operaciones es el vínculo entre las cuantificaciones y los enunciados singulares que están relacionados con ellos como instancias. Sin embargo, es un principio solamente por cortesía. Sostiene solamente en el caso en que un nombre término y, además, ocurre referencialmente.[4]
Esta obra contiene una traducción total derivada de «Existential generalization» de Wikipedia en inglés, concretamente de esta versión, publicada por sus editores bajo la Licencia de documentación libre de GNU y la Licencia Creative Commons Atribución-CompartirIgual 4.0 Internacional.
Datos:Q5420356
Marcha 24, 2024
generalización, existencial, lógica, predicados, generalización, existencial, también, conocida, como, introducción, existencial, regla, inferencia, válida, permite, pasar, declaración, específica, instancia, declaración, generalizada, cuantificada, proposició. En la logica de predicados la generalizacion existencial 1 2 tambien conocida como introduccion existencial I es una regla de inferencia valida que permite pasar de una declaracion especifica o una instancia a una declaracion generalizada cuantificada o proposicion existencial En logica de primer orden se utiliza con frecuencia como una regla para el cuantificador existencial en pruebas formales Ejemplo A Rover le encanta mover la cola Por lo tanto algo ama menear la cola En calculo de estilo Fitchː Q a xQ x displaystyle Q a to exists x Q x Donde a reemplaza a todas las instancias libres de x en Q x 3 Indice 1 Quine 2 Vease tambien 3 Referencias 4 Enlaces externosQuine editarSegun Willard Van Orman Quine la instanciacion universal y generalizacion existencial son dos aspectos de un solo principio porque en vez de decir que x x x implica Socrates Socrates podriamos decir tambien que la negacion Socrates Socrates implica x x x El principio de esos dos operaciones es el vinculo entre las cuantificaciones y los enunciados singulares que estan relacionados con ellos como instancias Sin embargo es un principio solamente por cortesia Sostiene solamente en el caso en que un nombre termino y ademas ocurre referencialmente 4 Vease tambien editarReglas de inferenciaReferencias editar Copi Irving M Cohen Carl 2005 Introduction to Logic en ingles Prentice Hall Hurley Patrick 1991 A Concise Introduction to Logic 4th edition en ingles Wadsworth Publishing pg 347 Jon Barwise y John Etchemendy Language proof and logic Second Ed CSLI Publications 2008 Willard van Orman Quine Roger F Gibson 2008 Quintessence Cambridge Mass Belknap Press of Harvard University Press V 24 Reference and Modality Aqui p 366 Enlaces externos editarEsta obra contiene una traduccion total derivada de Existential generalization de Wikipedia en ingles concretamente de esta version publicada por sus editores bajo la Licencia de documentacion libre de GNU y la Licencia Creative Commons Atribucion CompartirIgual 4 0 Internacional nbsp Datos Q5420356 Obtenido de https es wikipedia org w index php title Generalizacion existencial amp oldid 129994009, wikipedia, wiki, leyendo, leer, libro, biblioteca,
