Como se converte o condicional \(A \rightarrow B\) em uma disjunção equivalente usando negação?

Resposta

~A ou B

Explicação:
A equivalência é a implicação material: \(A\rightarrow B\equiv \neg A\vee B\).
O condicional é falso somente quando \(A\) é verdadeiro e \(B\) é falso; \(\neg A\vee B\) tem exatamente os mesmos valores verdade.

Exemplo:
Seja \(A\): "n é múltiplo de 3" e \(B\): "n é par".
\(A\rightarrow B\equiv \neg A\vee B\).
Para \(n=3\): \(A\) verdadeiro, \(B\) falso → \(A\rightarrow B\) é falso e \(\neg A\vee B\) também é falso.
Para \(n=6\): \(A\) verdadeiro, \(B\) verdadeiro → ambos verdadeiros.
Para \(n=4\): \(A\) falso, \(B\) verdadeiro → ambos verdadeiros.

⬇️ Assista à vídeoaula ⬇️ Aula sobre Equivalências