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.