Cuantificador

Cuantificador
existencial
Presentado por: Julián Alberto Rojo Lopera
 Introducción al cuantificador existencial

Las expresiones:
Todo hombre es mortal
Algunos hombres son sabios

Pueden ser expresadas de otra forma, respectivamente, como:

Para todo x, si x es hombre, entonces x es mortal
Existe un x, tal que x es un hombre y x es sabio
 El tema de estudio y sus giros

Se centrará esta presentación en el segundo tipo de expresiones, así, algunas frases

con que se puede identificar la presencia de este cuantificador son:
Hay x
Existe x, tal que
Algún x
Algunos x
Cuando menos un x
Para algún x
Para algunos x
 ¿Cómo se simbolizan expresiones de este tipo?

∃𝑥
y es lo que se llama cuantificador existencial y significa que contiene algún o
algunos valores verdaderos dentro de un enunciado dado, pero, ¿cómo se convierte
una función proposicional en una proposición?

A continuación se establece esto

Existen tres formas de
convertir una función
proposicional 𝑷 en
una proposición:𝒙
1. Haciendo la sustitución de las variables por un término específico.
2. Anteponiendo la expresión
𝑝𝑎𝑟𝑎𝑡𝑜𝑑𝑜𝑥 o un cuantificador universal.
3. Anteponiendo la expresión
𝑒𝑥𝑖𝑠𝑡𝑒𝑎𝑙 𝑚𝑒𝑛𝑜𝑠𝑢𝑛𝑥, o cuantificador existencial.

Por supuesto, el caso que ocupa el desarrollo de esta presentación es el 3, que se

representa como sigue:
(∃𝑥 )(𝑃𝑥 )
Pero, ¿cuándo es verdadero?
 Valor de verdad de un enunciado de la forma (∃𝑥 )(𝑃𝑥 )

Un enunciado de la forma ∃𝑥 𝑃𝑥 es verdadero cuando al menos un caso de

sustitución de la variable 𝑥 por un término específico del conjunto de referencia
convierte a 𝑃𝑥 en un enunciado verdadero. Es decir, cuando al menos un valor
dentro de un dominio específico (o contexto) sea verdadero.

Esta también pueden ser negadas como sigue

 Negación del cuantificador existencial

No es cierto que hay (o existen) fantasmas se simboliza: ¬(∃𝑥 )(𝑃𝑥 ) , donde

𝑃𝑥 simboliza la expresión 𝑥 𝑒𝑠 𝑢𝑛 𝑓𝑎𝑛𝑡𝑎𝑠𝑚𝑎 . Las proposiciones existenciales
pueden tener negaciones internas como algo “algo no es mortal”, que quiere decir
que existe un objeto (algo) tal que no es mortal. Se simboliza de la siguiente forma:

(∃𝑥 )(¬𝑀𝑥 ) (Mx: es mortal)

 Ejemplos
Ejemplo (1)
Llevar al lenguaje simbólico las siguientes expresiones:
1. Hay animales carnívoros.
2. Algunos hombres que no son sabios.

Solución
1. “Hay” se refiere a la presencia del cuantificador existencial. La característica de
animal se simboliza como𝐴𝑥 y la de carnívoros
𝐶𝑥
Por tanto, al decir que existe al menos un x, tal que x es animal y x es carnívoro la
solución será:
(∃𝑥 )(𝐴𝑥 ∧ 𝐶𝑥 )
 Ejemplo (2)

2. “Algunos” se refiere a la presencia del cuantificador existencial. La característica

de hombre se simboliza como 𝐻𝑥 y de sabio𝑆𝑥
Al decir, por tanto, que existe al menos un x, tal que x es hombre y x no es sabio la
solución simbólica queda:
(∃𝑥 )(𝐻𝑥 ∧ ¬𝑆𝑥 )
 Referencias

 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y

computación. (pp. 106-112). Ediciones Elizcom, Madrid.
 Buriticá, B. (2005). Matemáticas discretas. (pp. 61-65). Primera edición, editorial
Universidad de Antioquia, Medellín.