Flashcard FC511755
Qual regra permite concluir ¬P a partir de 'P → Q' e '¬Q'?
Lógica de Proposições
IBFC · 2017
Qual regra permite concluir ¬P a partir de 'P → Q' e '¬Q'?
Mostrar resposta e comentário
Resposta
Modus tollens.Explicação: A partir de P → Q e ¬Q conclui-se ¬P, pois se o consequente é falso, o antecedente não pode ser verdadeiro.
exemplo:
Se o sensor está ativado então o alarme soa.
O alarme não está soando.
Logo, o sensor não está ativado.
\(P \rightarrow Q,\ \neg Q \ \therefore\ \neg P\)
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/509387
Conteúdo do catálogo FC Concursos · Atualizado em