Flashcard FC831527
Qual é a negação lógica de uma conjunção da forma \(p \land \neg q\) e qual lei a justifica?
Lógica de Proposições
SELECON · 2022
Qual é a negação lógica de uma conjunção da forma \(p \land \neg q\) e qual lei a justifica?
Mostrar resposta e comentário
Resposta
\(\neg(p \land \neg q)\equiv \neg p \lor q\)Pelo princípio de De Morgan, a negação de uma conjunção é a disjunção das negações, aqui a negação de \(\neg q\) vira \(q\), portanto \(\neg(p \land \neg q)\) é equivalente a \(\neg p \lor q\).
Exemplo:
\(p\): tenho tempo livre, \(q\): vou ao cinema
Considere \(p=T\) e \(q=T\):
\(p\land\neg q = T\land F = F\), então \(\neg(p\land\neg q)=T\).
\(\neg p\lor q = F\lor T = T\).
Ambas as expressões têm valor lógico igual, confirmando a equivalência.
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/829013
Conteúdo do catálogo FC Concursos · Atualizado em