LOGICA MATEMATICA

JAWER ANTONIO DAVILA

CUANTIFICADOR UNIVERSAL
AFIRMATIVO
 En la lógica se usa el símbolo ꓯ denominado cuanticador universal antes
puesto de una variable para indicar que el elemento o el conjunto
cumplen con la presepcion da muestra, las palabras que afirman:
 Todo x
 Para cualquier x
 Sea para todo x
 Siempre que x
 Sea una expresión y sea x una variable si deseamos indicar que A es verdadero para
todos los posibles de x
 Escribimos (ꓯx)A. (ꓯx) es cuantificador
 EJEMPLO

 Todos los niños tienen una ilusión

 Predicado: todos tiene una ilusión
 Entonces: (px) significa que x tiene una ilusión
 Entonces(ꓯx)p(x)

 X protege el circulo de luces. En este caso se utiliza x para cada elemento del universo tiene
una cierto propiedad
 Wx-------X protege el circulo de luces(ꓯx)WX