Utilizando o símbolo “~” para negação, a expressão lógica se A então B é equivalente à expressão

Gabarito

D

Comentário do professor

A frase lógica "se A então B" corresponde ao condicional \(A \rightarrow B\).

Pela regra chamada implicação material, um condicional pode ser reescrito como uma disjunção que nega o antecedente e mantém o consequente: \(A \rightarrow B \equiv \neg A \vee B\).

Interpretação rápida pela tabela-verdade: o condicional só é falso quando \(A\) é verdadeiro e \(B\) é falso. Nos demais três casos é verdadeiro. A expressão \(\neg A \vee B\) tem exatamente os mesmos valores — é verdadeira sempre que \(A\) for falso (por \(\neg A\)) ou quando \(B\) for verdadeiro.

Portanto, a forma equivalente e correta é \( \neg A \vee B\) (ou, usando o símbolo pedido, ~A ou B).