Flashcard FC264953
Qual regra de inferência permite concluir ¬p a partir de p→q e ¬q?
Lógica de Proposições
IDECAN · 2017
Qual regra de inferência permite concluir ¬p a partir de p→q e ¬q?
Mostrar resposta e comentário
Resposta
Modus tollens.Explicação:
De \(p\to q\) e de \(\neg q\) segue \(\neg p\).
Se o consequente for uma conjunção, ex.: \(p\to(q\land r)\) e sabemos \(\neg q\), então \(\neg(q\land r)\); aplicando modus tollens a \(p\to(q\land r)\) e \(\neg(q\land r)\) obtemos \(\neg p\).
exemplo:
Premissas: \(p\to(a\land b)\) (se o servidor está ativo, então o serviço A e o serviço B estão ativos) e \(\neg a\) (serviço A não está ativo).
Passos: \( \neg a\Rightarrow \neg(a\land b)\).
Aplicando modus tollens a \(p\to(a\land b)\) e \(\neg(a\land b)\) conclui-se \(\neg p\) (o servidor não está ativo).
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/262315
Conteúdo do catálogo FC Concursos · Atualizado em