Flashcard FC302952
Se "Alguns A são B", pode-se concluir logicamente "Alguns B são A"?
Lógica de Proposições
FGV · 2023
Se "Alguns A são B", pode-se concluir logicamente "Alguns B são A"?
Mostrar resposta e comentário
Resposta
Sim.\( \exists x\,(A(x)\land B(x)) \)
Como a conjunção é comutativa, isto equivale a \( \exists x\,(B(x)\land A(x)) \), que se lê "Alguns B são A".
Exemplo:
Frase: "Algumas flores são perfumadas."
Formalmente: \( \exists x\,(Flor(x)\land Perfumada(x)) \).
Pela comutatividade da conjunção isso é igual a \( \exists x\,(Perfumada(x)\land Flor(x)) \), que se lê "Algumas perfumadas são flores."
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/300042
Conteúdo do catálogo FC Concursos · Atualizado em