Flashcard FC242058
Dado \( (P\land Q)\to R \) e \( \neg R \), qual inferência lógica se obtém e como ela se reescreve usando De Morgan?
Lógica de Proposições
CESGRANRIO · 2012
Dado \( (P\land Q)\to R \) e \( \neg R \), qual inferência lógica se obtém e como ela se reescreve usando De Morgan?
Mostrar resposta e comentário
Resposta
\( \neg(P\land Q)\), isto é \( \neg P\lor\neg Q\).De \( (P\land Q)\to R \) e \( \neg R \) aplica-se modus tollens para inferir \( \neg(P\land Q)\).
Em seguida, pela lei de De Morgan, \( \neg(P\land Q)\equiv \neg P\lor\neg Q\).
Exemplo:
Considere P = "chave ligada", Q = "há combustível", R = "motor funciona".
Se o motor não funciona (\( \neg R \)), então não é verdade que (chave ligada e há combustível), ou seja, chave não ligada ou não há combustível.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Tabela Verdade
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/236874
Conteúdo do catálogo FC Concursos · Atualizado em