Flashcard FC302866
Qual é a negação lógica de uma implicação do tipo p → q?
Lógica de Proposições
FGV · 2018
Qual é a negação lógica de uma implicação do tipo p → q?
Mostrar resposta e comentário
Resposta
A negação é \(p \land \lnot q\).Porque \(p\to q\) equivale a \(\lnot p \lor q\). Assim:
\(\lnot(p\to q)=\lnot(\lnot p\lor q)=p\land\lnot q\).
Exemplo:
Considere \(p\) = "o motor está ligado" e \(q\) = "o carro avança".
Então \(p\to q\) = "Se o motor está ligado, então o carro avança".
A negação é \(p\land\lnot q\) = "o motor está ligado e o carro não avança".
⬇️ Assista à vídeoaula ⬇️ Aula sobre Equivalências
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/299956
Conteúdo do catálogo FC Concursos · Atualizado em