CUANTIFICADOR

UNIVERSAL AFIRMATIVO
Presentado por: Daniela Fernanda Rodríguez Mateus
Grupo:
En lógica matemática el cuantificador universal
afirmativo se representa con el símbolo el cual hace
referencia un ¨todo¨ no a ningún elemento particular ni
especifico, este esta antepuesto a una variable para decir
que ¨para todo elemento de un cierto conjunto se
cumple la preposición.
LAS FRASES COMUNES DE ESTO
CUANTIFICADOR SON:

1. Todos x – todo x
2. Para cada x
3. Cada x
4. Siempre que x
5. cualquiera x
6. Para todo x
 EJEMPLO DE CUANTIFICADOR
UNIVERSAL AFIRMATIVO

EJEMPLO 1:
“Todos los carnívoros se alimentan de carnes”
Si p es carnívoro si y solo si p se alimenta de carne y se define px

( p)px px
EJEMPLO 2:
“Todos los seres humanos tiene sangre”

Si q es persona entonces q tiene sangre y se define qz

( q) qz