Flashcard FC381840
Dadas A→B, (C ∧ ¬D)→¬B e A, qual fórmula envolvendo C e D pode ser inferida?
Lógica de Proposições
FCC · 2020
Dadas A→B, (C ∧ ¬D)→¬B e A, qual fórmula envolvendo C e D pode ser inferida?
Mostrar resposta e comentário
Resposta
Modus Ponens: de A e A→B segue B.Como ¬B é consequente, seu antecedente é falso: ¬(C ∧ ¬D).
De Morgan: ¬(C ∧ ¬D) ≡ (¬C ∨ D).
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/372384
Conteúdo do catálogo FC Concursos · Atualizado em