Analisando as proposições fornecidas: - p: ∃x, x + 1 = 5 (Existe um x tal que x + 1 = 5) - apresenta o símbolo do quantificador existencial (∃). - q: ∀x, (x + 1)² = x² + 2x + 1 (Para todo x, (x + 1)² = x² + 2x + 1) - apresenta o símbolo do quantificador universal (∀). - r: x > 0 ⇔ 5x > 0 (x maior que 0 se e somente se 5x maior que 0) - não apresenta quantificador. - s: x² = 4 ⇒ x - 2 ∨ x = -2 (x ao quadrado é igual a 4 implica x - 2 ou x é igual a -2) - não apresenta quantificador. Portanto, a única proposição que apresenta o símbolo do quantificador universal é a opção B) q.