Flashcard FC831571
Se \(\neg P \to \neg Q\) e \(Q\) são verdadeiras, o que se conclui?
Lógica de Proposições
SELECON · 2023
Se \(\neg P \to \neg Q\) e \(Q\) são verdadeiras, o que se conclui?
Mostrar resposta e comentário
Resposta
P é verdadeira.Explicação:
\(\neg P \to \neg Q\) é logicamente equivalente à contrapositiva \(Q \to P\).
Como \(Q\) é verdadeira, aplicando modus ponens em \(Q\) e \(Q \to P\) obtemos \(P\).
Exemplo:
Premissa: "Se não há combustível, então o motor não liga", simbolize \( \neg F \to \neg M\).
Observação: o motor está funcionando, \(M\) é verdadeiro, pela contraposição \(M \to F\) concluímos que há combustível, \(F\).
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/829057
Conteúdo do catálogo FC Concursos · Atualizado em