Flashcard FC628335
Se, entre premissas, constam ¬Q e (¬R → Q), qual conclusão lógica imediata?
Lógica de Proposições
NC UFPR (FUNPAR) · 2016
Se, entre premissas, constam ¬Q e (¬R → Q), qual conclusão lógica imediata?
Mostrar resposta e comentário
Resposta
R é verdadeiro.De ¬Q e (¬R → Q) segue que assumir ¬R levaria a Q, o que contraria ¬Q, portanto ¬R é impossível e R deve ser verdadeiro, equivalente a aplicar contraposição, (¬R→Q) ≡ (¬Q→R), e depois modus ponens com ¬Q para obter R.
exemplo:
Premissas:
Não houve alerta (¬Q)
Se o backup falhou, então houve alerta (¬R → Q)
Conclusão:
O backup não falhou (R).
Passos: contraposição dá (¬Q→R), com ¬Q aplica-se modus ponens e obtém-se R.
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/626354
Conteúdo do catálogo FC Concursos · Atualizado em