Questão FC546141
Considere as afirmativas "algum banqueiro é rico" e "todo banqueiro possui mais de 35 anos". Assim, pode-se afirmar sempre que:
Lógica de Proposições
FAFIPA · 2025
Considere as afirmativas "algum banqueiro é rico" e "todo banqueiro possui mais de 35 anos". Assim, pode-se afirmar sempre que:
- toda pessoa acima de 35 anos é rica.
- todos os ricos possuem mais de 35 anos.
- existem pessoas ricas com menos de 35 anos.
- existem pessoas ricas com mais de 35 anos.
Mostrar resposta e comentário
Gabarito
D
Comentário do professor
Da premissa “algum banqueiro é rico” temos existência: \( \exists c\,(B(c)\land R(c)) \), ou seja, há um indivíduo c que é banqueiro e rico.
Da premissa “todo banqueiro possui mais de 35 anos” temos a implicação universal: \( \forall x\,(B(x)\rightarrow M(x)) \), onde \(M(x)\) significa “mais de 35 anos”.
Aplicando a implicação ao mesmo indivíduo c: de \(B(c)\) e \(B(c)\rightarrow M(c)\) segue, por modus ponens, \(M(c)\).
Portanto, para esse c vale \(R(c)\land M(c)\), isto é, existe pelo menos uma pessoa rica com mais de 35 anos. A conclusão decorre diretamente das premissas.
Conteúdo do catálogo FC Concursos · Atualizado em