Flashcard FC302937
Qual regra inferencial permite concluir ¬A a partir de A → B e ¬B?
Lógica de Proposições
FGV · 2017
Qual regra inferencial permite concluir ¬A a partir de A → B e ¬B?
Mostrar resposta e comentário
Resposta
Modus tollensExplicação:
De A → B e ¬B segue-se logicamente ¬A. É a negação do consequente como forma válida de inferência.
Exemplo:
Premissas:
1) Se houver energia, o aquecedor funciona. (E → H)
2) O aquecedor não funciona. (¬H)
Conclusão:
Logo, não há energia. (¬E)
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/300027
Conteúdo do catálogo FC Concursos · Atualizado em