Flashcard FC558351
A partir de A→B, ¬C→¬B, ¬D e (A∧C)→D, qual proposição segue necessariamente?
Lógica de Proposições
FAPTO · 2025
A partir de A→B, ¬C→¬B, ¬D e (A∧C)→D, qual proposição segue necessariamente?
Mostrar resposta e comentário
Resposta
A proposição ¬A é necessariamente verdadeira.
• Contrapositiva: Da implicação (A∧C)→D obtém-se ¬D→¬(A∧C), equivalente a ¬A∨¬C.
• Redução ao absurdo: Supondo A segue B por A→B, mas ¬A∨¬C com ¬D implica ¬C, e então ¬C→¬B produz ¬B, gerando contradição, logo ¬A deve valer.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/546127
Conteúdo do catálogo FC Concursos · Atualizado em