Como se nega uma disjunção lógica do tipo "A ou B"?

Resposta

A negação de A ou B é não A e não B.

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

Ao negar uma disjunção, nega-se cada parcela e substitui-se o conectivo ou por e, assim afirmando que nenhuma das alternativas é verdadeira.

Exemplo:
Proposição: "Há promoção ou frete grátis" (A ou B).
Negação: "Não há promoção e não há frete grátis" (não A e não B).