Qual é a forma equivalente de uma implicação p → q em termos de negação e disjunção?

p → q é equivalente a ¬p ∨ q.

Porque uma implicação é falsa somente quando p é verdadeira e q é falsa, ela tem a mesma tabela-verdade de \( \lnot p \lor q \).

Exemplo:
Considere: Se a lâmpada está acesa então há corrente elétrica.
Se p = "lâmpada está acesa" e q = "há corrente elétrica", então \(p \to q \equiv \lnot p \lor q\).
Se a lâmpada está acesa e não há corrente, a implicação é falsa, em qualquer outro caso é verdadeira.