Dada una secuencia continua de enteros$(a, a+1, a+2, \dots, b)$ Quiero escribir:
$P_a \wedge P_{a+1} \wedge P_{a+2} \wedge \dots \wedge P_b$
Donde$P_i$ es una declaración lógica parametrizada por$i$
He estado escribiendo:
$\forall_{i=a}^{b}P_i$
para esto.
¿Hay un símbolo más correcto y de uso común para esto? ¿O una mejor manera de escribirlo?
