Universidad Nacional de Loja

Carrera de ingeniería en Telecomunicaciones

Nombre: Carlos Alberto Santin Rojas
Fecha: 05-12-2022
Asignatura: Matemática discretas

Unidad I – Tarea IV
• Trabajo Grupal
Tema:
✓ Cuantificadores
✓ Cuantificadores Anidados
CUANTIFICADOR EXISTENCIAL ÚNICO
Un cuantificador hace referencia a aquellos símbolos que se usan para a dar
a conocer cierta cantidad de elementos de una proposición o un conjunto
predeterminado que cumple con la propiedad. (CUANTIFICADORES -
SOLUCIONES MATEMATICAS DISCRETAS, s. f.)
Pueden existir casos donde el cuantificador existencial pueda hacer
referencia solo a uno y tan solo un elemento del conjunto, se representa con
el símbolo Ǝ, y se expresa para “existe algún”
En cuanto al cuantificador existencial único puede considerarse una
extensión por definición en un lenguaje formal con igualdad teniendo dada
la equivalencia: Si: existe un único x en A que cumple P (x), es equivalente
a: para todo x, y de A, que cumple P (x) y P (y), entonces x es igual a y.
(Cuantificador universal o existencial, 2022)

Ejemplos:
1. P(x): x/x es el alcalde de Medellín, entonces ∃!x p(x), existe
un único x, tal que x es el alcalde de Medellín.

2. P(x): x/x es un planeta saturno, entonces ∃! x p(x), existe un

único x, tal que x es el planeta saturno.

3. p(x): x/x: es hombre

q(x): x/x: es de Ecuador
r(x): x/x: es futbolista
s(x): x/x: juega en el Real Madrid
Entonces: ∃! x p(x) ꭛ q(x) r(x) s(x); existe un único x, tal que x
es hombre, es de Ecuador, es futbolista, juega en el real Madrid
Bibliografía

CUANTIFICADORES - SOLUCIONES MATEMATICAS DISCRETAS. (s. f.).

https://sites.google.com/site/mathematicasdiscretesolutions/logica-de-

po/cuantificadores

Attention Required! | Cloudflare. (s. f.). https://udoe.es/cuantificador-existencial-unico-

ejemplos/?leer-mas=y

¿Qué es un cuantificador existencial y ejemplos? (s. f.).

https://organosdepalencia.com/biblioteca/articulo/read/146492-que-es-un-

cuantificador-existencial-y-ejemplos

Cuantificador universal o existencial. (2022, 24 noviembre). Ciencias Básicas.

https://ciencias-basicas.com/matematica/superior/teoria-de-

conjuntos/cuantificadores/