Ejercicio 1

1. Definición de cuantificador existencial y ejemplos

Cuantificador Existencial
Es un símbolo (∃x ) que se utiliza para determinar cuántos o qué tipo de elementos
en un conjunto expuesto cumplen con cierta propiedad, propiedades como: La
pertenencia, indicando que uno objeto es un elemento de un conjunto utilizando el
símbolo “€ “. La equivalencia u orden, indicando que dos conjuntos son
equivalentes si tienen la misma cardinalidad, utilizando el símbolo “↔“. Entre otras
propiedades.

Es decir:

Si tenemos dos conjuntos Y y Z, y Y es un subconjunto de Z

Y ⊂Z ∧Y ≠ Z ∧ Y ≠ ∅
Da a indicar que por lo menos un elemento × de Z que pertenece a Y, demostrado
con cuantificador existencial:
∃x ∈ Z ∧ x ∈Y
Cuando decimos que existe al menos un × que pertenece a Z y pertenece a Y,
indicamos que no todos los elementos de Z pertenecen a Y, siendo Y y Z
conjuntos totalmente distintos, existe al menos un elemento y de Z que no
pertenece a Y:
∃ y ∈ Z ∧ y ∉Y
Con esto entendemos que al menos un elemento y en Z, y este elemento yno
pertenece a Y (Real Academia de Ciencias Exactas, Física y Naturales, ed.
(1999.)).

Ejemplo 1:
 Todos los chilenos comen salmón y juegan futbol

∃x (chileno (x) → comensalmón (x) ^ jueganfutbol (x))

Ejemplo 2:
 Siempre que el equipo gana o empata todos quedan felices

∃x (felices (x) → equipogana (x) ˅ equipoempata (x))

Referencias
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y
computación. (pp. 9-28). Ediciones Elizcom, Madrid. Recuperado de:
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=12&docID=3199701&tm=1529335849013
 RealAcademia de Ciencias Exactas, Física y Naturales, ed. (1999). Diccionario
esencial de las ciencias.