Flashcard FC264945
Qual regra lógica permite inferir B a partir de A ∨ B e ¬A?
Lógica de Proposições
IDECAN · 2023
Qual regra lógica permite inferir B a partir de A ∨ B e ¬A?
Mostrar resposta e comentário
Resposta
Silogismo disjuntivo: de A ∨ B e ¬A segue B.A partir de uma disjunção verdadeira e da negação de um dos termos, conclui‑se validamente o outro termo.
Se o termo inferido for uma conjunção, então ambos os componentes dessa conjunção são verdadeiros.
exemplo:
Suponha que \(E \lor (G \land B)\) seja verdadeira e que ¬E seja verdadeira.
Então conclui‑se \(G \land B\); logo, G e B são verdadeiros (por exemplo: não há energia, portanto o gerador está ligado e as baterias estão carregadas).
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/262307
Conteúdo do catálogo FC Concursos · Atualizado em