Flashcard FC92122
Como se representa logicamente a negação de uma disjunção composta?
Lógica de Proposições
CEBRASPE (CESPE) · 2024
Como se representa logicamente a negação de uma disjunção composta?
Mostrar resposta e comentário
Resposta
\(\lnot(A\vee B\vee C)=\lnot A\land\lnot B\land\lnot C\)Explicação:
Negar uma disjunção transforma o ou em e e nega cada parcela; ou seja, a negação de "A ou B ou C" é "não A e não B e não C".
Exemplo:
Se \(R=\) "há energia elétrica \(\vee\) há água \(\vee\) há internet", então
\(\lnot R=\lnot(\text{energia}\vee\text{água}\vee\text{internet})=\lnot\text{energia}\land\lnot\text{água}\land\lnot\text{internet}\),
isto é: "não há energia, e não há água, e não há internet".
⬇️ Assista à vídeoaula ⬇️ Aula sobre Equivalências
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/83135
Conteúdo do catálogo FC Concursos · Atualizado em