Para quem tiver com dificuldades em entender este assunto: "For example x y P( x, y ) is not equivalent to y x P( x, y ). For let P( x, y ) represent x < y for the set of numbers as the universe, for example. Then x y P( x, y ) reads "for every number x, there is a number y that is greater...