Unidad 1: Tarea 1 - Proposiciones y tablas de verdad

Ejercicio 1: Conceptualización de Cuantificadores

HELBER RAFAEL BAHOQUE SARMIENTO

TUTOR
RANDY ZABALETA

PENSAMIENTO LOGICO Y MATEMATICO

200611_739

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA- UNAD

ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA
INGENIERÍA INDUSTRIAL
2018
 CUANTIFICADORES
A una palabra o una frase que indique cuántos objetos cumplen con
determinada
propiedad se le llama cuantificador.
Los cuantificadores se clasifican como:
a) Existenciales: "existe", "algún", "por lo menos uno", entre otros.
b) Universales: "para todo", "ninguno".
 Cuantificador Existencial
Este tipo de cuantificador indica que algún o algunos
valores son verdaderos dentro de un dominio o contexto
específico.
De acuerdo a [3], sea A una expresión, y sea x una
variable. Si deseamos indicar que A es verdadero para
cuando menos un valor de x, escribiremos xA. Esta frase
se lee “existe un x tal que A”. Aquí, xA se denomina
cuantificador existencial, y se dice que A es el ámbito
(alcance) del cuantificador existencial. Se dice que la
variable x está ligada por el cuantificador. El símbolo 
se lee “existe al menos”.
Cuantificador Existencial
Algunas de las frases con la que se identifica generalmente este
cuantificador son:
 Existe al menos un x
 Para algún x
 Para algunos x
 Existe un x tal que
 Algunos x
 Cuando menos un x
Cuantificador Existencial
Ejemplos:
1. Formalizar la expresión: “Algunos estudiantes de meca
trónica han estudiado programación” como una
cuantificación existencial.
Sea P(x) = “x ha estudiado programación”.
Donde x = “Alumnos de la UNAD”.
Entonces se puede expresar como:  xP(x) que se lee
“Existen algunos alumnos de la UNAD que han estudiado
programación”.
Cuantificador Existencial
2. Por ejemplo si se desea representar la expresión:
“Algunos estudiantes son
deportistas”, se podría reestructurar y representar de
la siguiente manera:
"Existe por lo menos un x tal que, x es universitario y x
es deportista”.
 x (Universitario(x) ^ deportista (x))
 BIBLIOGRAFIA
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y
computación. (pp. 106-112). Ediciones Elizcom, Madrid. Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=109&d
ocID=3199701&tm=1529510366591

Wisniewski, P. M., & Gutiérrez, B. A. L. (2011). Introducción a las matemáticas

universitarias. México: McGraw-Hill Interamericana. Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=1047
3069