Qual proposição é logicamente equivalente a ¬p ∨ q?

Resposta

A proposição p → q é logicamente equivalente a ¬p ∨ q.

Em termos de valores de verdade, ambas são falsas apenas quando p é verdadeira e q é falsa, e verdadeiras em qualquer outra combinação.