Flashcard FC918834
Como inferir a negação da antecedente inicial numa cadeia de condicionais quando a consequente final é falsa?
Lógica de Proposições
IAUPE · 2026
Como inferir a negação da antecedente inicial numa cadeia de condicionais quando a consequente final é falsa?
Mostrar resposta e comentário
Resposta
Conclui-se que a antecedente inicial é falsa pela aplicação sucessiva do modus tollens.• Modus tollens: De \(S\to R\) e \(\neg R\) segue \(\neg S\).
• Modus tollens: De \(C\to S\) e \(\neg S\) segue \(\neg C\).
• Modus tollens: De \(L\to C\) e \(\neg C\) segue \(\neg L\).
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/911069
Conteúdo do catálogo FC Concursos · Atualizado em