Flashcard FC511743
Dadas as premissas p→q, q→¬r e p, qual conjunção envolvendo p e r pode ser inferida?
Lógica de Proposições
IBFC · 2022
Dadas as premissas p→q, q→¬r e p, qual conjunção envolvendo p e r pode ser inferida?
Mostrar resposta e comentário
Resposta
¬r ∧ pDe p→q e p, por modus ponens, obtém-se q, de q→¬r e q, por modus ponens, obtém-se ¬r, como p e ¬r são verdadeiras, por introdução da conjunção conclui-se ¬r ∧ p.
Exemplo:
Premissas: se há neblina então baixa visibilidade (n→v), se baixa visibilidade então não há voo (v→¬f), e há neblina (n).
De n→v e n obtemos v, de v→¬f e v obtemos ¬f, portanto ¬f ∧ n é verdadeira.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/509375
Conteúdo do catálogo FC Concursos · Atualizado em