Flashcard FC918843
Qual conclusão logicamente válida se segue de "Algum A é B" e "Nenhum B é C"?
Lógica de Proposições
IAUPE · 2026
Qual conclusão logicamente válida se segue de "Algum A é B" e "Nenhum B é C"?
Mostrar resposta e comentário
Resposta
A conclusão válida é que existe um elemento que pertence a A e não pertence a C.Algum A não é C.
Equivalentemente, \( \exists x (x\in A \land x\notin C) \).
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/911078
Conteúdo do catálogo FC Concursos · Atualizado em