Flashcard FC302943
Qual regra lógica permite inferir ¬P a partir de P→Q e ¬Q?
Lógica de Proposições
FGV · 2016
Qual regra lógica permite inferir ¬P a partir de P→Q e ¬Q?
Mostrar resposta e comentário
Resposta
Modus tollens.Explicação:
De P→Q e ¬Q aplica-se modus tollens para concluir ¬P.
Se houver também ¬P→R, com ¬P verdadeiro aplica-se modus ponens para concluir R.
Exemplo:
Premissas:
1) Se chove, a rua fica molhada (P→Q).
2) Se não chove, vou ao parque (¬P→R).
Observação: a rua não está molhada (¬Q).
Por modus tollens, de 1) e ¬Q conclui-se ¬P (não chove).
Com ¬P e 2), por modus ponens, conclui-se: vou ao parque.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/300033
Conteúdo do catálogo FC Concursos · Atualizado em