CUANTIFICADORES EN LA

LÓGICA MATEMÁTICA
Jose Jorge Torres

GC-F-004 V.01

Cuantificadores
En lógica, teoría de conjuntos
y matemáticas en general, los
cuantificadores son símbolos
utilizados para indicar
cuántos elementos de un
conjunto dado cumplen con
cierta propiedad. Los
enunciados en los cuales se
presentan expresiones tales
como algunos (o existe o
hay), todo (o siempre o cada)
se denominan cuantificador
existencial (o particular) y
cuantificador universal (o
referencial).
Fuente:
https://matedisunidad3.wordpress.com
/category/3-2-1-cuantificadores/
Para denotar un enunciado cuantificado
se escribe el cuantificador correspondiente
seguido del predicado del enunciado
cuantificado. El predicado previamente se
escribe con letras mayúsculas, seguido de
dos puntos; entre comillas se agrega el
enunciado afirmativo, utilizando el verbo
principal en infinitivo.
Notación de
Cuantificadores
Fuente:
https://medium.com/@matematicasdiscr
etaslibro/6-logica-de-cuantificadores-
d453d859dd20
GC-F-004 V.01
  Cuantificador universal: Los enunciados de la
forma para todo, siempre o cualquiera se
Tipos de denominan enunciados universales o
Cuantificadores referenciales. Para trascribirlos se utiliza el
denominado cuantificador universal y se
simboliza con:
CUANTIFICADOR
UNIVERSAL  Cuantificador existencial: Los enunciados que
utilizan las palabras: algunos, hay o existen se
denominan enunciados existenciales o
CUANTIFICADOR
particulares. Para trascribirlos se utiliza el
EXISTENCIAL
denominado cuantificador existencial y se
simboliza con:
CUANTIFICADOR
EXISTENCIAL ÚNICO

Fuente:
https://medium.com/@matematicasdiscretaslibr
o/6-logica-de-cuantificadores-d453d859dd20
GC-F-004 V.01
 Cuando se tiene un enunciado existencial se está
afirmando que hay o existen individuos que cumplen la
propiedad. Ejemplo, el enunciado “algunas hojas de
árboles son de color rojo” se está afirmando que existen
hojas de árbol que son de color rojo.
Sin embargo, no sucede lo mismo cuando se tiene un
enunciado universal no se está asegurando que existan
DIFERENCIAS ENTRE LOS individuos que cumplan la propiedad dada. Por ejemplo,
CUANTIFICADORES “todas las hojas de árboles son de color rojo”. Este
enunciado no está afirmando que existan árboles con
hojas; simplemente se está afirmando que cualquiera
que sea hoja de árbol deberá ser de color rojo.

Fuente:
https://medium.com/@matematicasdiscretaslibro/6-
logica-de-cuantificadores-d453d859dd20
GC-F-004 V.01
 1. Todos los Ingenieros Industriales saben
matemáticas.

V: “sabe matemáticas”
(∀x)(Vx) se lee: Para todo x, x sabe matemáticas.

EJEMPLOS 2. Hay Ingenieros Industriales que son bilingües.

M: “Son bilingües”

(∃ x) M(x) se lee: Hay un x, tal que x son bilingües.

Fuente:
Autor
GC-F-004 V.01
GC-F-004 V.01