Flashcard FC831556
Qual regra permite inferir ¬P a partir de P → Q e ¬Q?
Lógica de Proposições
SELECON · 2025
Qual regra permite inferir ¬P a partir de P → Q e ¬Q?
Mostrar resposta e comentário
Resposta
Modus tollens.Explicação: Se a condicional P → Q é verdadeira e Q é falso, a única maneira de a condicional se manter verdadeira é que P seja falso, portanto ¬P.
Se houver outra condicional com antecedente ¬P, aplica-se então modus ponens para obter sua consequente.
Exemplo:
Se P = "servidor está ativo" e Q = "aplicação responde", dadas as premissas P → Q e ¬Q (a aplicação não responde), por modus tollens conclui-se ¬P (o servidor não está ativo).
Se igualmente existir ¬P → S com S = "alerta é enviado", por modus ponens conclui-se S.
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/829042
Conteúdo do catálogo FC Concursos · Atualizado em