Flashcard FC219563
A partir de "Todo A é B", pode-se inferir logicamente "Algum A é B"? Sob que condição?
Lógica de Proposições
VUNESP · 2025
A partir de "Todo A é B", pode-se inferir logicamente "Algum A é B"? Sob que condição?
Mostrar resposta e comentário
Resposta
Sim, desde que exista pelo menos um A (pressuposto existencial).Explicação:
"Todo A é B" significa \(A\subseteq B\).
Para passar de universal para particular é preciso garantir existência de A: \(A\subseteq B\) e \(\exists x\,A(x)\) implicam \(\exists x\,(A(x)\land B(x))\).
Exemplo:
Todo carro elétrico é veículo.
Se existe pelo menos um carro elétrico, então Alguns veículos são carros elétricos.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/215106
Conteúdo do catálogo FC Concursos · Atualizado em