Cuantificador Existencial Único

Question	Answer
Cuantificador Existencial Único	Image: Clculo De Predicados 7 638 (binary/octet-stream)
Se utiliza para indicar un único elemento que cumple una propiedad o función específica, por lo cual la proposición p(x) es V. Esto es denotado como: Ǝ!x(p(x)).	Image: Logica1 (binary/octet-stream)
Se identifica mediante el símbolo Ǝ!	Image: Sin Título (binary/octet-stream)
Ejemplo 1	P(x): x de los animales el elefante tiene 4 rodillas Se interpreta: Ǝ!x:p(x) Se lee: Existe un único animal x que tiene 4 rodillas, tal que x es el elefante
Ejemplo 2	P(x): x la letra J no aparece en la tabla periódica Se interpreta: Ǝ!x:p(x) Se lee: Existe una única letra x que no aparece en la tabla periódica, tal que x es la J
Bibliografía	Catalina Tascón recuperado de https://www.emaze.com/@AOFROWZLR Lógica de predicados y cuantificadores por G3 (2014) recuperado de https://doyouwantmektalwar.files.wordpress.com/2014/06/capitulo7.pdf
Image: Gracias (binary/octet-stream)	Elaborado por Karent Guerrero UNAD CEAD Tunja Tutor Jheimer Sepúlveda 2018

Resource summary

	Created by Karent Guerrero about 8 years ago