Generalización existencial
Reglas de transformación |
---|
Lógica proposicional |
Reglas de inferencia |
Reglas de reemplazo |
Lógica predicativa |
Lógica modal |
En la lógica de predicados, la generalización existencial[1][2] (también conocida como introducción existencial, ∃I) es una regla de inferencia vá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]
Quine
[editar]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" ∃x x≠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]
Véase también
[editar]Referencias
[editar]- ↑ Copi, Irving M.; Cohen, Carl (2005). Introduction to Logic (en inglés). Prentice Hall.
- ↑ Hurley, Patrick (1991). A Concise Introduction to Logic 4th edition (en inglés). 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». Aquí: p.366.
Enlaces externos
[editar]- 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.
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.