Flashcard FC684013
Dados ¬p → ¬q e q → r, p ∧ r implica q?
Lógica de Proposições
QUADRIX · 2025
Dados ¬p → ¬q e q → r, p ∧ r implica q?
Mostrar resposta e comentário
Resposta
Não é possível concluir q a partir de p ∧ r com apenas ¬p → ¬q e q → r.Porque ¬p → ¬q tem antecedente falso quando p é verdadeiro e, portanto, não fornece informação sobre q, e q → r com r verdadeiro também não permite inferir q; seria necessária uma regra p ∧ r → q ou equivalente.
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/670495
Conteúdo do catálogo FC Concursos · Atualizado em