Flashcard FC264939
Dada a condicional "se não A então não B" e sabendo que B é verdadeira, qual conclusão lógica imediata?
Lógica de Proposições
IDECAN · 2024
Dada a condicional "se não A então não B" e sabendo que B é verdadeira, qual conclusão lógica imediata?
Mostrar resposta e comentário
Resposta
A é verdadeira.Porque \( \neg A \rightarrow \neg B \) é logicamente equivalente a \( B \rightarrow A \) (contraposição). Como \(B\) é verdadeiro, por modus ponens segue que \(A\) é verdadeiro.
Exemplo:
Premissa: Se não há energia, então a máquina não funciona (\( \neg E \rightarrow \neg M \)).
Observação: A máquina funciona (\(M\) verdadeiro).
Conclusão: Há energia (\(E\) verdadeiro), por contraposição e modus ponens.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/262301
Conteúdo do catálogo FC Concursos · Atualizado em