Analise cada uma das afirmativas a seguir.

I- A implicação p → q é equivalente à negação da disjunção ∼ p ∨ q.

II- A bicondicional p ↔ q é verdadeira quando p e q  têm o mesmo valor lógico.

III- A proposição p ∨ ∼p é uma contradição.

IV- A bicondicional p ↔ q e a disjunção p V q são sempre equivalentes.

É CORRETO o que se afirma em: