¿Hay alguna diferencia entre $\forall x$ y $\forall_{x}$ ?
Vi a alguien escribir $\forall_{x} \text{ Qt}(x)$ y quiero saber si eso es lo mismo que $\forall x \text{ Qt}(x)$ .
Respuesta
¿Demasiados anuncios?
Se trata simplemente de una convención de anotación diferente.
Se trata de seguir el formato de una serie conjuntiva, $\bigwedge_x Q(x)$ que en su día se utilizó como notación para la cuantificación universal. $~\forall x~Q(x)$ es la convención más actual, aunque la forma de transición, $\forall_x Q(x)$ En la actualidad, se sigue utilizando en algunos textos.
