Flashcard FC571758
Qual é a forma logicamente equivalente a ¬(¬P ∨ ¬Q)?
Lógica de Proposições
CEV UECE · 2025
Qual é a forma logicamente equivalente a ¬(¬P ∨ ¬Q)?
Mostrar resposta e comentário
Resposta
P ∧ QAplicando as Leis de De Morgan e dupla negação, temos:
\( \neg(\neg P\lor\neg Q)\equiv \neg\neg P\land\neg\neg Q\equiv P\land Q\).
exemplo:
Se A = "a porta está aberta" e B = "a luz está acesa", então
\( \neg(\neg A\lor\neg B)\) significa "não é verdade que a porta não está aberta ou a luz não está acesa", ou seja, ambas as afirmações são verdadeiras, portanto \( \neg(\neg A\lor\neg B)\equiv A\land B\).
⬇️ Assista à vídeoaula ⬇️ Aula sobre Equivalências
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/571564
Conteúdo do catálogo FC Concursos · Atualizado em