Cuantificador Existencial Único

César Alejandro Quintero Gómez

Pensamiento Lógico y Matemático
Universidad Nacional Abierta y a Distancia UNAD
Programa de Ingeniería electrónica - CEAD Dosquebradas.
¿Qué es?

  En el lenguaje de predicados en lógica matemática. En el lenguaje de predicados en lógica matemática, se

usa el símbolo: llamado cuantificador existencial, antepuesto a una variable para decir que "existe" al menos
 un
  elemento del conjunto, B, al que hace referencia la variable, que cumple la proposición escrita a
continuación.

 
∃𝑥∈𝐵
¿Para qué se utiliza?

  Se utiliza para indicar que existe exactamente un elemento en el conjunto A que cumple con una condición o
propiedad determinada.
EJEMPLO 1

 Existe una única x elementos de A, que cumple P(x).

Todos los planetas serian habitables si todos ellos tuvieran las mismas condiciones que la tierra aunque podría
ser posible algún día.
X : Todos los planetas serian habitables
  
A : Si todos ellos tuvieran las mismas condiciones que la tierra
P(x) : Aunque podría ser posible algún día.

Representación simbólica:
Ejemplo 2
 Hay 25 estudiantes de radiología si todos cumplimos con las actividades propuestas nos graduaremos algún
día de radiólogos.

x: Hay 25 estudiantes de radiología.

A: si todos cumplimos con las actividades propuestas
P(x):  nos graduaremos algún día de Radiólogos.


Representación simbólica:
Bibliografía

 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp. 106 - 112).
Ediciones Elizcom, Madrid
 Casta, o G. C. (2017). Proposiciones y Tablas de Verdad.
 Moscote, H. (2016) Aplicación de las tablas de verdad en el álgebra de proposiciones, [Vídeo].