Como se nega logicamente a disjunção A ∨ B?

Resposta

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

Aplica-se a lei de De Morgan, negando cada componente e trocando o conectivo ou por e, ou seja, negue A e negue B simultaneamente.

Exemplo:
Se A = "Estudo hoje" e B = "Vou ao cinema", a afirmação composta é A ∨ B = "Estudo hoje ou vou ao cinema".
Sua negação é \( \neg(A \lor B) \equiv \neg A \land \neg B \), em palavras, "Não estudo hoje e não vou ao cinema".