TRABAJO DE PENSAMIENTO LOGICO MATEMATICO

 A. Cuantificador Universal Afirmativo

 
 
 

 
DANIEL LEONARDO TORRES PEREZ
 
  
 
 
 
CC N° 1.053.350.605
INGENIERIA DE SISTEMAS
CEAD CHIQUINQUIRA
 Cuantificador
Se conoce por el símbolo ∀, Universal
denominado con el nombre de Afirmativo
cuantificador universal, ante puesto a
una variable para comunicar que
“para todo” elemento de un cierto
conjunto se cumple la proposición
asignada.
Si deseamos indicar que A es
verdadero para todos los
posibles valores de
Escribiremos (∀x) A. (∀x) es
cuantificador
 Las frases que
comúnmente se utilizan
en cuantificador
Todos x – Todo x Para cada x Cada x
universal afirmativo
son las siguientes

Cada
uno
x
Para todo x Cualquiera x Siempre que x

Si se quiere representar por ejemplo la explicación: "todas las personas tienen una ilusión". para este
caso se identifica el predicado "tienen una ilusión", entonces p (x) significa que x tiene una ilusión. La
palabra "todas las personas" indica que esto se aplica para todos los x. Se formaliza:

∀xp (x)
 EJEMPLO 1:
x protege el circuito de luces” Para cada x, x protege el circuito de
luces. En este caso utiliza “x” para afirmar que cada elemento del
universo tiene una cierta propiedad
Wx ↔ x protege el circuito de luces
(∀x) Wx                                  

 EJEMPLO 2:
mostrar “todos los gatos tienen cola” en cálculo de predicados.
Solución: Hallar primero el ámbito del cuantificador universal, que es
“Si x es un gato, entonces x tiene cola” y se define como                           
                        Gx ↔ x es un gato                                                     Cx ↔ x
tiene cola                                                      (∀x) Gx → Cx