Flashcard FC684012
Da implicação p → q pode-se concluir ¬p → ¬q?
Lógica de Proposições
QUADRIX · 2025
Da implicação p → q pode-se concluir ¬p → ¬q?
Mostrar resposta e comentário
Resposta
Não, essa inferência é inválida porque corresponde à negação do antecedente, a partir de p → q não se pode deduzir ¬p → ¬q.• Contrapositiva: ¬q → ¬p é logicamente equivalente e válida.
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/670494
Conteúdo do catálogo FC Concursos · Atualizado em