Cuantificador Existencial Único

Cuantificador: Expresión que permite determinar la

cantidad o tipo de elementos que cumplen una
propiedad en una proposición

Cuantificador Existencial Único:

Se usa para identificar un único elemento de un
conjunto, que cumple una determinada propiedad.

E
Símbolo:
!
 E
Se escribe:
!x ϵ A:P(x)
Se lee: Existe una única x elemento de A,
que cumple P(x)

Ejemplo 1:
P(x): x/x es el papa del concilio vaticano
Entonces: Ǝ! x:p (x) existe un único x tal que x es el papa del concilio vaticano

Ejemplo 2:
P(x):x El sol es la estrella mas grande del universo
Entonces: Ǝ! x : P(x) Existe una única estrella llamada sol x tal que x es el sol
Del universo
 Bibliografía:
- Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas
y fundamentos de álgebra lineal. Volumen I: conjuntos numéricos,
complementos. (pp. 19-28). Madrid, España: Editorial Tébar
Flores. Recuperado.

- Wikipedia, 29 mayo de 2019, Cuantificador. https://

es.wikipedia.org/wiki/Cuantificador

- Luis Sequera, 19 Agosto 2014, Cuantificadores Lógicos,

http://primeraunidad101.blogspot.com/2014/08/cuantificadores.html