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
3. “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.