Flashcard FC628330
Qual regra de inferência permite concluir ¬p a partir de p→q e ¬q?
Lógica de Proposições
NC UFPR (FUNPAR) · 2018
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:
Com a condicional p→q e a negação do consequente ¬q, conclui-se logicamente a negação do antecedente ¬p, pois se p implicaria q e q é falso, p não pode ser verdadeiro.
Exemplo:
Premissas:
1) Se o alarme tocar então há incêndio, (A→I)
2) Não há incêndio, (¬I)
Conclusão válida:
¬A (portanto, o alarme não tocou).
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/626349
Conteúdo do catálogo FC Concursos · Atualizado em