SESION 08 CUANTIFICADORES EXISTENCIAL Y

UNIVERSAL

PITÁGORAS DE SAMOS: (Aprox. 582 adC - 507

adC), fue uno de los filósofos griegos más sabios de
la Antigüedad. Fundó su propia escuela de
pensamiento, la Escuela pitagórica, que afirmaba
que la estructura del universo era aritmética y
geométrica, a partir de lo cual las matemáticas se
convirtieron en una disciplina fundamental para
toda investigación científica. Como consecuencia,
esta escuela se distinguió por estudiar y desarrollar
los campos de las matemáticas, aritmética,
geometría, astronomía y música entre otros.
ANTOLOGÍA

La matemática es tan antigua como el hombre mismo. Debido a su necesidad de conocer,

dominar y sobrevivir en el mundo que lo rodea el hombre ha regido diversas ciencias y entre
ellas la matemática, la que ha sido considerada anteriormente como la ciencia de los
números, siendo esta definición claramente insuficiente puesto que su alcance es mucho
más amplio, por lo que ahora veremos de donde proviene su origen:

MATEMÁTICA significa ciencia del conocimiento. Esta palabra tiene una curiosa historia.
Proviene del verbo griego Manthano que significa inicialmente aprender es decir, estudiar,
instruirse, de allí darse cuenta, remarcar, comprender. Del verbo deriva el sustantivo
“mathema” que denota estudio, ciencia, conocimiento. En realidad mathematika, era la
ciencia que el joven griego debía estudiar para formarse adecuadamente en la virtud.

Históricamente, fueron los matemáticos y astrónomos griegos quienes encontraron los

principales fundamentos de la trigonometría plana y esférica, deducidos de la geometría, y
los aplicaron a los problemas astronómicos.

Se considera a Hiparlo (180 – 125 a.C.) como el padre de la Trigonometría debido

principalmente por su hallazgo de algunas de las relaciones entre los lados y los ángulos de
un triángulo. También contribuyeron a la consolidación de la trigonometría Claudio
Ptolomeo y Aristarco de Samos quienes la aplicaron en sus estudios astronómicos. En el
año 1600, el profesor de matemáticas de Heidelberg (la universidad más antigua de
Alemania) Bartolomé Pitiscus (1561 – 1613), publicó un texto con el título de
“Trigonometría”, en el que desarrolla métodos para la resolución de triángulos. El
matemático francés Francois Viete (1540 – 1617) hizo importantes aportes hallando
fórmulas trigonométricas de ángulos múltiples. En el siglo XVIII, el matemático suizo
Leonard Euler (1707 – 1783) hizo de la trigonometría una ciencia aparte de la astronomía,
para convertirla en una nueva rama de las matemáticas; es el primero que en realidad hace
progresar dicha rama de la matemática en este nuevo aspecto analítico, hasta darle la
forma que conserva actualmente.

Las primeras aplicaciones de la trigonometría se hicieron en los campos de la navegación y

la astronomía, el principal problema era determinar una distancia inaccesible, es decir, una
distancia que no podía ser medida de forma directa como la distancia entre la tierra y la
luna. Se encuentran notables aplicaciones de las funciones trigonométricas en la física y en
casi todas las ramas de la ingeniería, sobre todo en el estudio de fenómenos periódicos,
como el flujo de corriente alterna.
 CUANTIFICADORES

Las expresiones:
Todo hombre es mortal.
Algunos hombres son sabios.

Pueden traducirse respectivamente como:

Para todo x, si x es hombre entonces x es mortal.
Existe un x, tal que x es hombre y x es sabio.

Otros giros utilizados para la expresión "para todo x", son:

Todo x
Cualquiera x
Cada x
que se simbolizan por "∀x" y se llama cuantificador universal.

Otros giros utilizados para la expresión "Existe un x" son:

Hay x
Existe x, tal que
Algún x
Algunos x

Que se simbolizan por "∋x" y se llama cuantificador existencial.

Existen tres formas de convertir una función proposicional Px en una proposición a saber:
• Haciendo la sustitución de las variables por un término específico.
• Anteponiendo la expresión "para todo x" o cuantificador universal.
• Anteponiendo la expresión "existe al menos un x" o cuantificador existencial.
El enunciado "existe al menos un x tal que Px" se representa como:
(∋x)(Px)

El enunciado "para todo x, Px" se representa como:

(∀x)(Px)

Al anteponer a la función proposicional Px un cuantificador, se dice que la variable x ha pasado a

ser una variable ligada.

Una proposición de la forma (∀x)(Px), es verdadera cuando todas la sustituciones de la variable x

por términos específicos del conjunto de referencia convierten a Px en enunciado verdadero.
Un enunciado de la forma (∋x)(Px) es verdadero cuando al menos un caso de sustitución de la
variable x por un término específico del conjunto de referencia, convierte a Px en un enunciado
verdadero.
Las proposiciones universales pueden aparecer negadas, como en el enunciado: "No todos son
mecánicos". En este caso la simbolización será ¬ (∀x)(Mx) donde Mx es la función proposicional "x
es mecánico" que toma valores dentro del conjunto de referencia formado por los hombres.

Las palabras "ningún", "ninguno", "nada", "nadie" corresponden también a enunciados universales
con negaciones, pero de una manera distinta a las proposiciones anteriores. La proposición
"ninguno es mecánico" no equivale a la proposición "no todos son mecánicos" sino a la expresión
"para todo x, x no es mecánico" que se simboliza (∀x)(¬Mx).

Las proposiciones anteriores pueden estar negadas, como por ejemplo "no es cierto que hay
fantasmas" la cual se simboliza como ¬(∋x)(Fx) donde Fx simboliza la expresión "x es un
fantasma". Análogamente a lo que ocurre con los cuantificadores universales, las proposiciones
existenciales puede tener negaciones internas como "algo no es mortal" la cual se simboliza como
(∋x) (¬ Mx) donde Mx simboliza la expresión "x es mortal".

Los cuantificadores nos permiten construir proposiciones a partir de funciones proposicionales ya

sea particularizando o generalizando. Ejemplifiquemos esto. Si consideramos la función
proposicional

P(x): x es mayor que 0, podemos particularizar esto diciendo: Existe un número real que es
mayor que 0, o generalizarlo diciendo:

Todos los números reales son mayores que 0.

Notemos que tanto en la particularización como en la generalización se especifica un conjunto en

donde toma valores la variable, en este ejemplo el conjunto son los números reales.

Existe una notación específica para la particularización y la generalización:

∀x∈R / x > 0, que se lee existe un x ∈ R tal que x es mayor que 0; mientras que ∀x∈R, x > 0, se
lee: para todo x∈R se cumple que x es mayor que 0.

El símbolo ∀ se llama cuantificador universal y el símbolo ∋ es el cuantificador

existencial

Como ya lo hemos afirmado, un cuantificador transforma una función proposicional en una

proposición, a la cual se le asigna un valor de verdad.

1 Cuantificador Universal (∀)

Si p(x) es una función proposicional con extensión A = U, entonces se tiene que para cada x ∈U
se cumple la condición p(x). Este hecho lo simbolizaremos por:

(∀x ∈ U) p(x), o bien ∀x ∈ U : p(x)

2 Cuantificador Existencial (∋)

Si p(x) es una función proposicional con extensión A≠φ , entonces se tiene que existe por lo
menos un x ∈ U para el cual se cumple la condición p(x). Este hecho lo simbolizamos por:

(∀x ∈ U) p(x), o bien ∀x ∈ U : p(x)

Negación de proposiciones con cuantificadores

Sea p(x) una función proposicional con extensión A, entonces:

¬(∀x ∈ A)p(x) ≡ (∋ x ∈ A) ¬ p(x)

¬ (∋x ∈ A)p(x) ≡ (∀ x ∈ A) ¬ p(x)

 ACTIVIDAD DETERMINAR EL VALOR DE VERDAD O
FALSEDAD

1) Sea A = {1, 2, 3, 4, 5}.Determine el valor de verdad de cada uno de los enunciados

siguientes

a) (∋x ∈ A)(x+3 =10)

Sol:

b) (∋x ∈ A)(x+3 < 10)

sol: