Como representar logicamente uma condicional \(p \rightarrow q\) usando apenas negação e disjunção?

Resposta

\(p \rightarrow q \equiv \neg p \lor q\)

A condicional é falsa somente quando p é verdadeira e q é falsa, por isso ela equivale à disjunção que nega o antecedente e mantém o consequente.
Em símbolos, \(p \rightarrow q \equiv \neg p \lor q\).

Exemplo:
Considere \(p\): estudou, \(q\): passou no exame.
A condicional \(p \rightarrow q\) significa "Se estudou, então passou no exame".
Equivalente em disjunção: \(\neg p \lor q\), que em linguagem natural é "Não estudou ou passou no exame".