Vamos analisar a questão sobre a formalização do afirmativo universal na lógica de predicados. O afirmativo universal tem a forma "Para todo x, se P(x) então Q(x)", que na lógica de predicados é formalizado como: \[ \forall x (P(x) \rightarrow Q(x)) \] Agora, analisando as alternativas: A. (Vx) (P(x) Q(x)) — está faltando o conectivo entre P(x) e Q(x). B. (3x)(P(x)^-Q(x)) — quantificador existencial e conectivo incorreto. C. (Vx)(P(x) -Q(x)) — o símbolo "-" pode representar a implicação (→), então esta alternativa está correta. D. (V)(P(x) Q(x)) — quantificador universal sem variável e sem conectivo. E. (3x) (P(x) ^ Q(x)) — quantificador existencial, não universal. Portanto, a alternativa correta é: C. (Vx)(P(x) -Q(x))