UNIVERSIDAD DISTRITAL FRANCISCO JOSÉ DE CALDAS
FACULTAD DE CIENCIAS Y EDUCACIÓN
LICENCIATURA EN CIENCIAS SOCIALES
ESPACIO DE FORMACIÓN:
Pensamiento lógico – matemático.
TALLER 2: Cuantificadores
En el taller de lógica se desarrolló el concepto de
proposición la cual es una oración declarativa que
puede ser verdadera o falsa, pero existen oraciones
como
que no son verdaderas, ni son falsas. Para este tipo de
oraciones el valor de verdad depende del valor de o
de la variable que aparece en su enunciado. Para el
ejemplo, si tomamos la oración se convierte en
La cual es una proposición cuyo valor de verdad es
verdadero; pero si tomamos , la proposición será
y en este caso su valor de verdad es falso.
Como la anterior, toda oración definida sobre un
conjunto de referencia y que contenga una variable,
recibe el nombre de función proposicional, si además,
para cada elemento del conjunto, la expresión se
convierte en una proposición.
Otro ejemplo: la oración
Definida en el conjunto de los números enteros, es una
función proposicional ya que para cada número
entero , la expresión es verdadera o falsa, pero no las
dos, por ejemplo, si se sutituye por 10, entonces la
expresión se convierte en la proposición
La cual es verdadera.
Cuantificadores: En matemáticas y en la teoría de
conjuntos, los cuantificadores son elementos
gramaticales usados para delimitar la cantidad de
Página 1
elementos de un conjunto que cumplen una
propiedad: pertenencia, equivalencia u orden.
Cuantificador universal: el cuantificador universal es
empleado para indicar que todos los elementos de un
conjunto cumplen con una determinada propiedad,
son cuantificadores de la forma para todo, todo, para
cada o para cualquier.
Para su notación, se usa el símbolo (que se lee “para
todo”), escrito a la izquierda de una variable para
indicar que todos los elementos del conjunto cumplen
con la propiedad enunciada. Un ejemplo de este tipo
de cuantificador es:
Sea el conjunto es u e , entonces el
enunciado todo hombre es mortal, puede ser escrito:
Y su valor de verdad es verdadero.
Por otra parte, sea el enunciado se
puede demostrar que se cumple en todo . Si , la
expresión quedará:
Lado Lado
Proceso
Izquierdo Derecho
= 1 Expresión inicial
= 1 Sustitución de x por 3
= 1 Resultado de sumar 3 + 1
Como es evidente en la fila final de la tabla anterior, 4
es mayor que 3 y la condición se cumple para un valor
específico de , esta misma situación se cumple para
cualquier valor .
Cuando al reemplazar los valores de la variable en
una expresión que contenga el cuantificador universal
se obtiene siempre proposiciones verdaderas, se dice
que la expresión es verdadera, si la expresión no se
cumple para al menos un valor de , se dice que la
expresión cuantificada es falsa.
Margarita María Torrijos Cobos
Licenciada en matemáticas y física
 UNIVERSIDAD DISTRITAL FRANCISCO JOSÉ DE CALDAS

FACULTAD DE CIENCIAS Y EDUCACIÓN

LICENCIATURA EN CIENCIAS SOCIALES

ESPACIO DE FORMACIÓN:
Pensamiento lógico – matemático.
TALLER 2: Cuantificadores

Para determinar si una expresión que contenga el una expresión verdadera. Si por ejemplo
cuantificador universal es falsa, sólo se necesita reemplazamos a por 2 se obtiene , la cual es
encontrar un valor de para el cual la expresión sea una expresión verdadera. Tenga en cuenta que 2 no
falsa. Este valor se denomina contraejemplo; por es el único valor que hace que esto ocurra, en general
ejemplo, en la expresión: cualquier entero menor que 3, hace que se obtenga el
mismo resultado.

Cuantificador existencial único: se utiliza para definir

Para demostrar su falsedad, es posible dar un que un único elemento del conjunto cumple con una
contraejemplo. Si , entonces: propiedad y se simboliza que se lee “existe un
único”.
Lado Lado
Proceso
Izquierdo Derecho A diferencia del cuantificado existencial, el
= Expresión inicial cuantificador existencial único, restringe el conjunto de
= Sustitución de x por -3 valores de la variable que satisface una condición a
uno sólo, es decir como por ejemplo en la expresión
= Resultado de multiplicar 2 y -3

Con este valor de , se obtiene un resultado negativo,

y todo número negativo es menor que cero. En este
El cuantificador universal está indicando que un solo
caso, el contraejemplo muestra que la expresión es
valor de satisface la ecuación, en este caso el valor
falsa, ya que con un elemento que no cumpla la
es 7, ya que , y el valor de verdad de la
condición, no es posible afirmar que se cumpla para
expresión para este ejemplo es verdadero, pero en la
todo valor de .
expresión:

Cuantificador existencial: gran cantidad de

expresiones en matemáticas plantean que hay un
elemento en un conjunto que cumple cierta
El cuantificador está indicando que existe un único
propiedad, este tipo de expresiones son simplificados
valor que satisface la ecuación, dicho valor numérico
por medio del uso del cuantificador existencial, el cual
no existe porque cualquier numero elevado al
se utiliza para indicar que hay uno o varios elementos
cuadrado siempre dará como potencia un numero
de un conjunto que cumplen una propiedad.
positivo, de tal forma que la expresión tiene un valor
de verdad falso. Por otra parte, la expresión
Son cuantificadores de esta forma: existe, para al
menos uno, por lo menos uno, hay un , hay al menos
un tal que o para algún. El cuantificador existencial
se denota por el símbolo , el cual se lee “existe”. Por
ejemplo, la expresión Tiene un valor de verdad falso ya que la raíz cuadrada
de cualquier número, tiene dos resultados posibles:
uno positivo y otro negativo.La raíz cuadrada consiste
en buscar un número que multiplicado sí mismo de
Plantea la existencia de uno o más números enteros como resultado la cantidad subradical, en este caso
que al ser sustituidos por la variable , en la expresión y los valores que cumplen esta condición, son 1 y -1
hacen que esta expresión se convierta en dado que y que .

Margarita María Torrijos Cobos

Página 2
Licenciada en matemáticas y física
 UNIVERSIDAD DISTRITAL FRANCISCO JOSÉ DE CALDAS

FACULTAD DE CIENCIAS Y EDUCACIÓN

LICENCIATURA EN CIENCIAS SOCIALES

ESPACIO DE FORMACIÓN:
Pensamiento lógico – matemático.
TALLER 2: Cuantificadores

Si es necesario determinar si una expresión con el b) es un entero impar c)

cuantificador universal es verdadera, entonces se d) Sea un número
debe demostrar que toda en el conjunto cumple la e) película fue nominada a los premios Oscar
condición impuesta, un valor particular no demuestra
que la expresión sea verdadera. 4. Para la función proposicional

Si es necesario demostrar la verdad de una expresión Escriba cada proposición y determine su valor de
cuantificada mediante el cuantificador existencial, se verdad:
encuentra un del conjunto de referencia para el que a)
la expresión es verdadera. Recuerde que el b)
cuantificador existencial se relaciona con la existencia c)
de un elemento. d)

Por último, para probar que una expresión 5. Para las expresiones
cuantificada existencialmente es falsa, se demuestra
que la expresión es falsa para todo elemento del
conjunto.

TRABAJO: Determine el valor de verdad de cada una de las

siguientes expresiones siendo cualquier persona:
1. En un almacén de mascotas hay siete perros de
color café, seis gatos de color gris, diez gatos de
color negro, cinco pájaros azules, seis pájaros
amarillos y un pájaro negro. Determine cuál de las
siguientes proposiciones son verdaderas y cuales
son falsas:
a) En la tienda existe un animal rojo.
6. Sean las funciones proposicionales
b) Todos los animales de la tienda son animales
mamíferos.
c) Todos los animales de la tienda son cafés.
d) Existen en la tienda un perro, un gato y un ave
que son del mismo color.
Escriba las siguientes expresiones mediante el uso
e) Existe un único animal en la tienda que no es
de símbolos:
un perro o un gato.
a) Todos los profesores de sociales tienen un
automóvil último modelo
2. Sea , determine el valor de verdad
b) Algún profesor de sociales tienen un automóvil
de las siguientes funciones proposicionales
último modelo
aplicadas en el conjunto :
c) Todos los dueños de automóviles ultimo
a)
modelo son profesores de sociales
b)
d) Existe una única persona que tiene un
automóvil último modelo y es profesor de
3. Para las siguientes expresiones, determine si son
sociales
funciones proposicionales
a) es un entero par

Margarita María Torrijos Cobos

Página 3
Licenciada en matemáticas y física
 UNIVERSIDAD DISTRITAL FRANCISCO JOSÉ DE CALDAS

FACULTAD DE CIENCIAS Y EDUCACIÓN

LICENCIATURA EN CIENCIAS SOCIALES

ESPACIO DE FORMACIÓN:
Pensamiento lógico – matemático.
TALLER 2: Cuantificadores

7. Determine el valor de verdad de las siguientes sociales, exprese las siguientes proposiciones en
expresiones cuando se aplican como función lenguaje común:
proposicional sobre el conjunto de los números a)
reales. Argumente sus resultados: b)
a) c)
b) d)

c)
d)
e)
8. Sea la función proposicional aplicada
en el conjunto de los números reales:
a) Escriba: e d)
indique cual de esas proposiciones son
verdaderas y cuales son falsas.
b) Encuentre el valor de verdad de la función si el
conjunto sobre el cual se aplica es:
I. Los números enteros mayores que 1
II. Los números enteros negativos
9. Para la función proposicional :
a) Escriba las proposiciones e
indique su valor de verdad.
b) Encuentre el valor de verdad de la función
proposicional si el conjunto sobre el que se
trabaja es el de los números enteros positivos.
10. Escriba un contraejemplo que muestre el valor de
verdad falso en las siguientes expresiones
cuantificadas:
a)
12. Escriba las siguientes expresiones en lenguaje
común sabiendo que las funciones proposicionales
son y y
están definidas sobre el conjunto de todos los
animales:
a)
b)
c)
13. Traduzca cada una de las siguientes frases a
lenguaje lógico usando cuantificadores y
conectivos lógicos.
a) Nadie es perfecto
b) No todo el mundo es perfecto
c) Todos mis amigos son perfectos
d) Todo el mundo es mi amigo y es perfecto
14. Determine los valores de verdad para las
siguientes funciones proposicionales definidas en el
conjunto de los números enteros,
a)
b)
c)
d)
15. Para la función proposicional

b)
¿Cuál de las siguientes proposiciones son
c) equivalentes?
a) El cuadrado de todo número real es 3
d) b) Ningún números real tienen como cuadrado 3
c) Los números tienen como cuadrado 3 para
11. Sea la función proposicional está algunos numeros reales
matriculado en más de dos cursos este semestre, d) Si x es un número real, entonces
definida para los estudiantes de la licenciatura en

Margarita María Torrijos Cobos

Página 4
Licenciada en matemáticas y física