Questão 2922772

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 tabelas-verdade 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: