Tarea 1: Proposiciones y

Tablas de Verdad
Ejercicio 1: Conceptualización de Cuantificadores
Lesly Vanessa Mendoza Díaz
Cuantificador Universal
Sea A una expresión, y sea x una variable. Si deseamos indicar que A es
verdadero para todos los posibles valores de x , escribiremos A
(invertida) xA. Aquí, Ax (invertida) se denomina cuantificador universal,
y A se denomina ámbito (alcance) del cuantificador. Se dice que la
variable x está ligada por el cuantificador. El símbolo A (invertida) se
lee: para todo".
Cuantificador universal positivo
• Los enunciados que se utilizan para expresar el cuantificador universal
afirmativo son:
• Todos (x)
• Todo (x)
• Para cada (x)
• Cada (x)
• Cada uno (x)
• Siempre que (x)
• Cualquiera (x)
• Para todo (x)
Ejemplos:
• Siempre que los niños salen a descanso juegan y hacen rondas
infantiles.
Ux(niño(x) sale a descanso(x) ^ hace rondas infantiles(x))

• Cada vez que la familia cena o pasean, sonríen.

Ux(sonríen(x) la familia cena(x) v la familia pasea(x))

• Todas las flores son hermosas

Ux(flores(x) hermosas(x))