Flashcard FC558347
Como deduzir L ∨ ¬R a partir de (¬L ∧ R) → M, M → ¬J e J?
Lógica de Proposições
IBADE · 2025
Como deduzir L ∨ ¬R a partir de (¬L ∧ R) → M, M → ¬J e J?
Mostrar resposta e comentário
Resposta
Conclui-se L ∨ ¬R aplicando modus tollens para obter ¬M, contrapositiva para obter ¬(¬L ∧ R) e a lei de De Morgan.
• Modus tollens: de M → ¬J e J conclui-se ¬M.
• Contrapositiva: de (¬L ∧ R) → M e ¬M obtém-se ¬(¬L ∧ R).
• De Morgan: ¬(¬L ∧ R) é equivalente a L ∨ ¬R.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/546123
Conteúdo do catálogo FC Concursos · Atualizado em