FC ConcursosFC Concursos

Questão FC911090

Analise o argumento: "Todo programador é lógico. Alguns músicos são programadores. Logo, alguns músicos são lógicos". Este argumento é

Lógica de Proposições

IAUPE · 2026

Analise o argumento: "Todo programador é lógico. Alguns músicos são programadores. Logo, alguns músicos são lógicos".

 

Este argumento é

  1. válido, pois a conclusão é uma consequência necessária das premissas.
  2. inválido, pois a interseção entre músicos e programadores pode não conter lógicos.
  3. válido, mas apenas se todos os músicos forem programadores.
  4. inválido, por apresentar uma contradição intrínseca.
  5. uma Tautologia por definição.
Mostrar resposta e comentário

Gabarito

A

Comentário do professor

Válido. A primeira premissa "Todo programador é lógico" afirma uma inclusão: \(P \subseteq L\), onde \(P\) = programadores e \(L\) = lógicos.

A segunda premissa "Alguns músicos são programadores" afirma existência: \(\exists x\,(M(x)\land P(x))\), com \(M\) = músicos.

Como qualquer indivíduo que satisfaz \(P(x)\) também satisfaz \(L(x)\) pela inclusão, da existência de \(M(x)\land P(x)\) segue necessariamente a existência de \(M(x)\land L(x)\). Em símbolos: \(\exists x\,(M(x)\land P(x))\Rightarrow \exists x\,(M(x)\land L(x))\).

Portanto a conclusão "alguns músicos são lógicos" é uma consequência necessária das premissas, o que torna o argumento válido.

Conteúdo do catálogo FC Concursos · Atualizado em

Continue aprendendo