FC ConcursosFC Concursos

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

  1. Alguns marinheiros são pescadores.
  2. Alguns marinheiros não são pescadores.
  3. Alguns pescadores sabem nadar.
  4. Todas as pessoas que sabem nadar são marinheiros.
  5. 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

Continue aprendendo