Equivalência lógica é uma parte fundamental do raciocínio lógico, permitindo a substituição de proposições por outras que têm o mesmo valor de verdade em todas as situações, simplificando argumentos e provas matemáticas. Sobre os conhecimentos de equivalência lógica em raciocínio lógico/matemática, julgue as afirmativas a seguir.

I - Duas proposições são logicamente equivalentes se, e somente se, suas tabelasverdade são idênticas.
II - A equivalência p ↔ q é verdadeira apenas se ambos p e q forem falsos ou ambos forem verdadeiros.
III - A implicação p → q é logicamente equivalente a ~q → ~p.
IV - p ∨ q é logicamente equivalente a ~p → q.

Assinale a alternativa correta: