Flashcard FC518654
A partir de a→(b∧c) e (d∨e)→a, conclui-se ¬c→¬e?
Lógica de Proposições
CEBRASPE (CESPE) · 2025
A partir de a→(b∧c) e (d∨e)→a, conclui-se ¬c→¬e?
Mostrar resposta e comentário
Resposta
Sim, de a→(b∧c) e (d∨e)→a segue que ¬c→¬e.
• Assunção: suponha ¬c e substitua em a→(b∧c) para obter a→F, logo ¬a.
• Aplicação: com ¬a, de (d∨e)→a segue (d∨e)→F, portanto ¬(d∨e), isto é ¬d ∧ ¬e.
• Conclusão:</</b> assim obtém-se ¬e e por isso ¬c→¬e.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/514851
Conteúdo do catálogo FC Concursos · Atualizado em