Qual é a equivalência lógica da implicação proposicional \(A\rightarrow B\) em termos de negação e disjunção?

Resposta

\(A\rightarrow B \equiv \neg A \lor B\)

Explicação completa:
Em lógica, a implicação é falsa apenas quando \(A\) é verdadeira e \(B\) é falsa, por isso \(A\rightarrow B\) equivale a \(\neg A\lor B\), que cobre todos os mesmos casos de verdade.

Exemplo:
Considere os predicados \(M(x)\): "x é múltiplo de 4" e \(E(x)\): "x é par".
Formalmente, \(\forall x\,(M(x)\rightarrow E(x))\) é equivalente a \(\forall x\,(\neg M(x)\lor E(x))\).
Para qualquer número \(x\), se \(M(x)\) for verdadeiro e \(E(x)\) falso, a implicação falha; caso contrário, a disjunção \(\neg M(x)\lor E(x)\) será verdadeira, mostrando a equivalência.