Flashcard FC381855
Qual regra válida permite, a partir de p→q e ¬q, concluir ¬p?
Lógica de Proposições
FCC · 2018
Qual regra válida permite, a partir de p→q e ¬q, concluir ¬p?
Mostrar resposta e comentário
Resposta
Modus tollensDe p→q e ¬q, conclui-se ¬p.
\(p\to q,\ \neg q\vdash\neg p\)
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/372399
Conteúdo do catálogo FC Concursos · Atualizado em