Cuantificador Existencial

Único
Por: Elmer Peña código: 93410744

Grupo: 200611_1349 tutor: German Cristancho

Cuantificador Existencial Único

 En lógica Matemática, los cuantificadores son símbolos utilizados para

indicar cuantos o que tipo de elementos de un conjunto dado que
cumplen con cierta propiedad.
 Uno de ellos es el cuantificador existencial único, el cual es usado para
indicar que hay un único elementos de un conjunto A que cumple una
determinada propiedad.
∃! 𝑥 ∈ 𝐴: 𝑃 𝑥
 Lo que se lee como: Existe una única X elementos de A, que cumple P(x)
Síntesis Cuantificador Existencial Único

 Este cuantificador, se utiliza para indicar que existe exactamente un

elemento en el conjunto A que cumple con una condición o propiedad
determinada.

∃! 𝑥 ∈ 𝐴: 𝑃 𝑥
Ejemplos
Ejemplo 1
 Afrodita es la diosa griega del
amor / Existe una única diosa
griega del amor /Existe una única
Afrodita, tal que Afrodita es la
diosa griega del amor
(∃! 𝛼)(𝐷 𝛼 )
Ejemplo 2
 El murciélago es un mamífero
volador /Existe un único mamífero
volador / Existe un único
murciélago, tal que el murciélago
es el mamífero volador.
(∃! 𝜇)(𝑀 𝜇 )
 Bibliografía
 Arenas, F. (2017). Cuantificador Existencia Unico. Recuperado el 11 de
septiembre en https://es.calameo.com/read/005707130a96d4382e1d5

 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y

computación. (pp. 106-112). Ediciones Elizcom, Madrid. Recuperado el 11 de
septiembre
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=1
09&docID=3199701&tm=1529510366591