Questão FC300097
Considere verdadeiras as afirmativas: • Todos os marinheiros sabem nadar. • Algumas pessoas que sabem nadar são pescadores. É correto concluir que
Lógica de Proposições
FGV · 2017
Considere verdadeiras as afirmativas:
• Todos os marinheiros sabem nadar.
• Algumas pessoas que sabem nadar são pescadores.
É correto concluir que
- Alguns marinheiros são pescadores.
- Alguns marinheiros não são pescadores.
- Alguns pescadores sabem nadar.
- Todas as pessoas que sabem nadar são marinheiros.
- Todos os marinheiros são pescadores.
Mostrar resposta e comentário
Gabarito
Certo
Comentário do professor
Das premissas, a relevante para a conclusão é: "algumas pessoas que sabem nadar são pescadores". Essa frase é uma afirmação existencial: existe pelo menos um indivíduo que satisfaz simultaneamente as propriedades sabe nadar e é pescador.
Em notação lógica, isso é \( \exists x\,(S(x)\land P(x)) \). Trocar a ordem das conjunções não altera o sentido: \( \exists x\,(P(x)\land S(x)) \).
Portanto, afirmamos que existe alguém que é pescador e sabe nadar — isto é exatamente a proposição "Alguns pescadores sabem nadar". Em termos de conjuntos, a interseção entre pescadores e quem sabe nadar é não vazia, garantindo a validade da alternativa.
Conteúdo do catálogo FC Concursos · Atualizado em