Flashcard FC368163
Qual regra de inferência permite concluir ¬A a partir de (A → B) e ¬B?
Lógica de Proposições
Instituto Consulplan · 2024
Qual regra de inferência permite concluir ¬A a partir de (A → B) e ¬B?
Mostrar resposta e comentário
Resposta
Modus tollens.Da condicional \(A\to B\) e da negação do consequente \(\neg B\), segue-se \(\neg A\).
Isso ocorre porque a única situação em que \(A\to B\) é verdadeira e \(\neg B\) também é verdadeira exige que \(\neg A\) seja verdadeira.
Exemplo:
Se o servidor está em funcionamento, então o site responde. (A → B)
O site não responde. (¬B)
Logo, o servidor não está em funcionamento. (¬A)
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/364775
Conteúdo do catálogo FC Concursos · Atualizado em