Flashcard FC511754
Dadas as premissas A → B e ¬B, qual conclusão logicamente válida se segue?
Lógica de Proposições
IBFC · 2018
Dadas as premissas A → B e ¬B, qual conclusão logicamente válida se segue?
Mostrar resposta e comentário
Resposta
¬AA partir de A → B e ¬B segue-se logicamente ¬A, por meio da regra conhecida como modus tollens.
Intuitivamente, uma condicional A → B só seria falsa se A fosse verdadeira e B fosse falsa; como B é falso e a condicional é aceita como verdadeira, A não pode ser verdadeiro, logo ¬A.
exemplo:
Considere A = "o sensor detectou fumaça" e B = "o alarme disparou".
Premissas: A → B ("se o sensor detecta fumaça, então o alarme dispara") e ¬B ("o alarme não disparou").
Conclusão válida: ¬A ("o sensor não detectou fumaça").
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/509386
Conteúdo do catálogo FC Concursos · Atualizado em