∀x(cuantificador universal; significa “Para todosx”) ∀x∈X(cuantificador universal; significa “Para todosx enX”) ∃x(cuantificador existencial; significa...∀x(cuantificador universal; significa “Para todosx”) ∀x∈X(cuantificador universal; significa “Para todosx enX”) ∃x(cuantificador existencial; significa “Existe algunox, tal que.”) ∃x∈X(cuantificador existencial; significa “Existe algox enX, tal que.”) ∃!x(significa “Hay una únicax, tal que.”.) ∃!x∈X(significa “Hay un únicox enX, tal que.”.)