Flashcard FC918833
Dadas P → (Q ∧ R) e ¬Q, qual conclusão lógica válida?
Lógica de Proposições
IAUPE · 2026
Dadas P → (Q ∧ R) e ¬Q, qual conclusão lógica válida?
Mostrar resposta e comentário
Resposta
Conclui-se que ¬P.
• Modus tollens: a partir de P → (Q ∧ R) e ¬Q tem-se ¬(Q ∧ R), portanto ¬P.
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/911068
Conteúdo do catálogo FC Concursos · Atualizado em