Como se expressa a negação de uma disjunção \(p \vee q\)?

Resposta

\( \neg(p \vee q) \equiv \neg p \wedge \neg q\)

Aplica-se as Leis de De Morgan, nega-se cada proposição, e troca-se o conectivo ou por e.
A negação afirma que nenhuma das duas proposições ocorre.

Exemplo:
Se \(p\): "Há luz", e \(q\): "Há som".
A proposição \(p \vee q\) é "Há luz ou há som".
Sua negação é \( \neg p \wedge \neg q\), que corresponde a "Não há luz e não há som".