Flashcard FC381854
Qual regra de inferência permite concluir ¬P a partir de P→Q e ¬Q?
Lógica de Proposições
FCC · 2018
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.
Se P fosse verdadeiro, Q seria verdadeiro; como Q é falso, P é falso.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/372398
Conteúdo do catálogo FC Concursos · Atualizado em