1) Duas proposições p e q são logicamente equivalentes se a ...
Duas proposições p e q são logicamente equivalentes se a proposição p ↔ q é uma tautologia. Usa-se a notação p ≡ q para representar a equivalência lógica entre as proposições p e q.\n\nConsidere as proposições:\nI. ¬q → ¬p\nII. (¬p → q) ∧ (¬q → p)\nIII. ¬q → p\n\nÉ correto afirmar que:\n\nAlternativas:\na) A proposição I é logicamente equivalente à proposição II.\nb) A proposição II é logicamente equivalente à proposição III.\nc) A proposição I é logicamente equivalente à proposição III.\nd) Nenhuma destas proposições é logicamente equivalente à outra.\ne) As três proposições são todas logicamente equivalentes entre si.