Uma proposição X é equivalente (ou logicamente equivalente) a uma proposição Y, e representaremos por X ⇔ Y, quando em suas tabelas-verdade, não ocorrem VF e nem FV numa mesma linha. Sobre Equivalência lógica, analise as seguintes afirmativas: I - As proposições ~~p e p são equivalentes, desse modo, toda proposição é equivalente à sua dupla negação. II - As proposições p → q e ~p ∨ q são equivalentes, ou seja, uma condicional é equivalente à disjunção da negação do antecedente com o seu consequente. III - p → p ∧ q ↔ p → q não são equivalentes. A bicondicional p → p ∧ q ↔ p → q é uma contradição, pois, na coluna de saída de sua tabela-verdade, ocorre somente o valor lógico F. Assinale a alternativa correta: