Flashcard FC381848
Qual regra de inferência permite concluir ¬p a partir de (p → q) e ¬q?
Lógica de Proposições
FCC · 2019
Qual regra de inferência permite concluir ¬p a partir de (p → q) e ¬q?
Mostrar resposta e comentário
Resposta
Modus tollensDe p→q e ¬q segue ¬p.
A condicional só é falsa se a antecedente for verdadeira e a consequente falsa.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/372392
Conteúdo do catálogo FC Concursos · Atualizado em