como\(\forall \ell \in L, (\ell \in H)\). (También sería lógicamente correcto escribir\(\forall x \in L, (x \in H)\), pero\(\ell\) es un mejor nombre un elemento del conjunto\(L\).) Parafraseado en in...como\(\forall \ell \in L, (\ell \in H)\). (También sería lógicamente correcto escribir\(\forall x \in L, (x \in H)\), pero\(\ell\) es un mejor nombre un elemento del conjunto\(L\).) Parafraseado en inglés, nuestra afirmación simbólica significa “Para todos\(\ell\) en Lethbridge,\(\ell\) es feliz”. Observe que todos los cuantificadores en este ejemplo son de la forma\(\forall x \in X\) o\(\exists x \in X\), no\(\forall x\) o\(\exists x\).
