Professional Documents
Culture Documents
podemos particularizar esto diciendo: Existe un número real que es mayor que 0, o
generalizarlo diciendo
∃x ∈ R | x > 0,
∀x ∈ R, x > 0
1 Cuantificador Universal ( ∀ )
Si p(x) es una función proposicional con extensión A = U, entonces se tiene que : para
cada x ∈ U se cumple la condición p(x). Este hecho lo simbolizaremos por:
2 Cuantificador Existencial ( ∃ )
Si p(x) es una función proposicional con extensión A ≠∅, entonces se tiene que existe
por lo menos un x ∈ U para el cual se cumple la condición p(x). Este hecho lo
simbolizamos por:
( ∃x ∈ U) p(x), o bien ∃x ∈ U : p(x)
Ejemplos