Flashcard FC558358
Se todo A é B e nenhum B é C, qual conclusão lógica necessária?
Lógica de Proposições
IBADE · 2025
Se todo A é B e nenhum B é C, qual conclusão lógica necessária?
Mostrar resposta e comentário
Resposta
Segue que nenhum A é C.
• Notação de conjuntos: O conjunto A está contido em B e B não tem interseção com C, portanto A não tem interseção com C.
• Predicados: As fórmulas ∀x(A(x)→B(x)) e ∀x(B(x)→¬C(x)) compõem-se em ∀x(A(x)→¬C(x)).
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/546134
Conteúdo do catálogo FC Concursos · Atualizado em