Instanciación existencial

En lógica de predicados , la instanciación existencial (también llamada eliminación existencial ) ^{[ 1 ]}^{[ 2 ]} es una regla de inferencia que dice que, dada una fórmula de la forma $(\exists x)\phi (x)$ Se puede inferir que $\phi (c)$ para un nuevo símbolo constante c . La regla tiene la restricción de que la constante c introducida por la regla debe ser un término nuevo que no haya aparecido antes en la demostración, y tampoco debe aparecer en la conclusión de la demostración. También es necesario que cada instancia de $x$ que está obligado a $\exists x$ debe ser reemplazado uniformemente por c . Esto está implícito en la notación. $P\left({a}\right)$ pero su declaración explícita a menudo se omite en las explicaciones.

En una notación formal, la regla puede denotarse por

\exists xP\left({x}\right)\implies P\left({a}\right)

donde a es un nuevo símbolo constante que no ha aparecido en la demostración.

Véase también

Referencias

↑ Hurley, Patrick. Introducción concisa a la lógica (11.ª ed.). Wadsworth Pub Co, 2008. Pág. 454. ISBN 978-0-8400-3417-5
↑ Copi, Irving M.; Cohen, Carl (2002). Introducción a la lógica (11.ª ed.). Upper Saddle River, NJ: Prentice Hall . ISBN 978-0-13-033737-5.

[1] Hurley, Patrick. Introducción concisa a la lógica (11.ª ed.). Wadsworth Pub Co, 2008. Pág. 454. ISBN 978-0-8400-3417-5

[2] Copi, Irving M.; Cohen, Carl (2002). Introducción a la lógica (11.ª ed.). Upper Saddle River, NJ: Prentice Hall . ISBN 978-0-13-033737-5.

[ 1 ]

[ 2 ]