Flashcard FC381813
Qual regra permite inferir ¬P a partir de P → Q e ¬Q?
Lógica de Proposições
FCC · 2019
Qual regra permite inferir ¬P a partir de P → Q e ¬Q?
Mostrar resposta e comentário
Resposta
Modus tollensDe P → Q e ¬Q segue ¬P.
\( (P\to Q),\ \neg Q \models \neg P \)
⬇️ Assista à vídeoaula ⬇️ Aula sobre Tabela Verdade
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/372357
Conteúdo do catálogo FC Concursos · Atualizado em