Flashcard FC918855
Por que "Todo P é L" e "Alguns M são P" implicam "Alguns M são L"?
Lógica de Proposições
IAUPE · 2026
Por que "Todo P é L" e "Alguns M são P" implicam "Alguns M são L"?
Mostrar resposta e comentário
Resposta
A inclusão \(P\subseteq L\) e a existência \(\exists x\,(M(x)\land P(x))\) implicam necessariamente \(\exists x\,(M(x)\land L(x))\) porque todo indivíduo com P também satisfaz L.
• Inclusão: "Todo programador é lógico" corresponde a \(P\subseteq L\), logo \(P(x)\Rightarrow L(x)\).
• Existência: "Alguns músicos são programadores" é \(\exists x\,(M(x)\land P(x))\), que combinado com a inclusão gera \(\exists x\,(M(x)\land L(x))\).
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/911090
Conteúdo do catálogo FC Concursos · Atualizado em