Flashcard FC511727
Como se nega a conjunção \( \lnot p \land q\) e como reescrevê-la como implicação?
Lógica de Proposições
IBFC · 2017
Como se nega a conjunção \( \lnot p \land q\) e como reescrevê-la como implicação?
Mostrar resposta e comentário
Resposta
\( \lnot(\lnot p \land q) \equiv p \lor \lnot q \equiv \lnot p \to \lnot q\)
Aplicando a Lei de Morgan, a negação de \( \lnot p \land q\) vira \(p \lor \lnot q\), e usando a equivalência \(r \to s \equiv \lnot r \lor s\), obtemos \(p \lor \lnot q \equiv \lnot p \to \lnot q\).
Exemplo:
Considere \(p\): o equipamento operou, \(q\): o sinal foi enviado.
Negação da conjunção \( \lnot p \land q\): \( \lnot(\lnot p \land q) \equiv p \lor \lnot q\).
Reescrita como implicação: \( \lnot p \to \lnot q\), que em linguagem natural é "Se o equipamento não operou, então o sinal não foi enviado".
⬇️ Assista à vídeoaula ⬇️ Aula sobre Equivalências
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/509359
Conteúdo do catálogo FC Concursos · Atualizado em