Considere as 4 proposições abaixo.

!$ p: \exists x, x+1= 5 !$

!$ q: \forall x, (x+1)^2 = x^2+2x+1 !$

!$ r: x > 0 \Leftrightarrow 5x > 0 !$

!$ s: x^2 = 4 \Rightarrow x - 2 \vee x =-2 !$

A única proposição que apresenta o símbolo do quantificador universal está indicada na seguinte opção: