Qual das proposições abaixo é logicamente equivalente à proposição acima?

Gabarito

A

Comentário do professor

Represente a sentença por variáveis: a: foi o que aconteceu, b: assim está certo. A proposição dada equivale a \( \lnot a \lor b \).

Há uma equivalência lógica padrão: disjunção com a primeira parcela negada corresponde a um condicional. Formalmente, \( \lnot a \lor b \equiv a \to b \).

Semântica rápida: \(a \to b\) é falsa apenas quando \(a\) é verdadeira e \(b\) é falsa. Da mesma forma, \( \lnot a \lor b \) é verdadeira sempre que \( \lnot a\) é verdadeira ou \(b\) é verdadeira, produzindo a mesma tabela-verdade.

Portanto, a forma natural equivalente é: Se foi o que aconteceu, então assim está certo.