No estudo de cálculo de predicados, quando se tem a sentença " X , Y , (x+y) Q ", se faz a seguinte leitura: existe x, tal que para todo y, a soma x+y é um valor racional. Nesse caso, o alcance do QUA