CUANTIFICADOR EXISTENCIAL

Se denota con el símbolo ∃ y se lee “existe”. Este cuantificador ocurre, por ejemplo, al expresar que
un subconjunto no está contenido en otro. En efecto, si A 6⊆ B, entonces debe existir un elemento
que pertenece a A y que no pertenece a B. En símbolos:

En la siguiente tabla veremos algunas relaciones entre conjuntos que se expresan usando
cuantificadores.

La tabla anterior también sirve para ilustrar como se comportan los cuantificadores cuando se niega
una expresión que los contiene. Al negar un cuantificador universal se obtiene uno existencial, y
viceversa, al negar un cuantificador existencial se obtiene uno universal.

También escribiremos ∄ en lugar de ¬∃. [1].

Algunas de las frases con la que se identifica generalmente este cuantificador son:

 Existe al menos Para algún x

 Para algunos x
 Existe un x tal
 Algunos x , Cuando menos un x
  Equivalencias entre cuantificadores

En las anteriores secciones se mostró que las proposiciones que son cuantificadas (universales
o existenciales) pueden ser tanto afirmativas como negativas.

Se pueden representar entre otras las siguientes:

Se sabe que la verdad de una de ellas se sigue la falsedad de su contradictoria. Si se niega cualquiera
de ellas se obtiene una equivalencia.

Cuando se intercambian cuantificadores también se cambia el cuantificador y su signo.

Existen otros tipos de equivalencias llamadas de oposición aristotélica, a continuación, se

muestran las equivalencias.

Ambas fórmulas entonces son lógicamente equivalentes y conservan su propiedad de validez.[2]

Ejemplo 1

En el conjunto de los números enteros (Z) consideremos la proposición:

p: Existen múltiplos de dos que son múltiplos de cuatro (verdadero)

La negación de p es:

~p: No existen múltiplos de dos que son múltiplos de cuatro (falso)

Equivalentemente:

~p: Todos los múltiplos de dos no son múltiplos de cuatro.

En símbolos:

p: " n Z / n es múltiplo de 2 y n es múltiplo de 4"

~p: "n Z, n no es múltiplo de 2 ó n no es múltiplo de 4"

en esta negación se usa las leyes de De Morgan.

En general, en relación a los cuantificadores tenemos:

~ [  xU / p(x)]  [xU, ~p(x)]

~ [xU, p(x)]  [  xU / ~p(x)] [2]

Ejemplo 2
1. Algunos son vegetales
2. 2. Hay flores
3. 3. Existen animales
son existenciales o particulares

Para simbolizarlos lógicamente se determinan los predicados así:

V: “ser vegetal”

F: “ser flor”

A: “ser animal”

Simbólicamente los enunciados quedan como sigue:

Referencias:

[1]Autor , A. A. (sin fecha ).colombia, www.Wordpress.com.

https://eduvallepereyra.files.wordpress.com › 2010/05 › cuantificadores[2]

[2]Cardona, Torres, Sergio Augusto. Lógica matemática para ingeniería de sistemas y computación,
Ediciones Elizcom, 2010. ProQuest Ebook Central,
http://ebookcentral.proquest.com/lib/unadsp/detail.action?docID=3199701.
Created from unadsp on 2019-09-19 18:37:37.

[3] Autor,A.A NOVIEMBRE 23 2017,MEXICO,www.medium.com.

https://medium.com/@matematicasdiscretaslibro/6-logica-de-cuantificadores-d453d859dd20