Sejam as sentenças abertas a seguir, nas quais x representa um número real.

S(x) : x > 3
T (x) : x² > 9

Considere também as proposições a seguir.

P: ∀ x ∈ ℝ, S(x) → T (x)
Q: ∃ x ∈ ℝ : ∼ T (x) ∧ S(x)

Sobre essas condições, considere as afirmativas a seguir.

I. A proposição P é verdadeira.
II. Se P é verdadeira, então a proposição Q é necessariamente falsa.
III. A negação de “para todo x” é “não existe x”, portanto, a proposição Q afirma que nenhum valor de x satisfaz S(x).
IV. A equivalência lógica entre P e Q é garantida, porque toda implicação é equivalente a uma disjunção.

Assinale a alternativa correta.