Qual é a forma logicamente equivalente da condicional p → q?

Resposta

A condicional p → q é logicamente equivalente à disjunção ¬p ∨ q.

Isso ocorre porque ambas são falsas exatamente quando p é verdadeira e q é falsa, e verdadeiras nos demais casos.