Flashcard FC558349
A partir de A → (B ∨ C) e da negação de C, qual inferência lógica válida obtém-se?
Lógica de Proposições
FUMARC · 2025
A partir de A → (B ∨ C) e da negação de C, qual inferência lógica válida obtém-se?
Mostrar resposta e comentário
Resposta
Pode-se concluir que, se B não ocorreu então A não ocorreu.
• Disjunção: Com a negação de C, a disjunção B ou C equivale a B.
• Condicional: Assim, a condicional A → (B ∨ C) se reduz a A → B.
• Contrapositiva: Da condicional A → B obtém-se a contrapositiva não B → não A, que é equivalente logicamente.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/546125
Conteúdo do catálogo FC Concursos · Atualizado em