Como se nega uma conjunção p e q na lógica proposicional?

Resposta

¬p ou ¬q.

Pela regra de De Morgan, \( \neg(p\land q)=\neg p\lor\neg q \), isso significa que a negação afirma que pelo menos uma das proposições é falsa, basta uma ser falsa para a negação ser verdadeira.

Exemplo:
Considere p = "o sistema foi atualizado" e q = "o backup foi realizado".
Original: \(p\land q\) = "o sistema foi atualizado e o backup foi realizado".
Negação: \(\neg(p\land q)=\neg p\lor\neg q\) = "o sistema não foi atualizado ou o backup não foi realizado".

⬇️ Assista à vídeoaula ⬇️ Aula sobre Equivalências