Considere proposições simples p, q e r e as equivalências no âmbito da lógica proposicional clássica. Analise as afirmativas a seguir.

I. p → q é logicamente equivalente a ¬p v q.

II. ¬(p ↔ q) é logicamente equivalente a p ↔ ¬q.

III. ¬p → ¬q é logicamente equivalente a p → q.

IV. (p → q) ^ (q → p) é logicamente equivalente a p ↔ q.

V. (p v q) → r é logicamente equivalente a (p → r) v (q → r).

Está CORRETO o que se afirma em: