Como expressar a implicação P → Q em termos de negação e disjunção?

Resposta

\(P \to Q \equiv \lnot P \lor Q\)

Explicação:
A condicional é verdadeira sempre que a hipótese é falsa ou a conclusão é verdadeira, por isso \(P \to Q\) equivale a \(\lnot P \lor Q\).

Exemplo:
Considere \(P\): "Há nuvens no céu", \(Q\): "Pode chover".
Então \(P \to Q\) equivale a \(\lnot P \lor Q\), isto é, "Não há nuvens ou pode chover".