Questão de Raciocínio Lógico — Lógica de Argumentação - Diagramas e Operadores Lógicos — FCC 2016
Raciocínio Lógico›Lógica de Argumentação - Diagramas e Operadores Lógicos
Código
fc034847
Banca
FCC
Órgão
Copergás - PE
Ano
2016
Nível
Médio
É verdade que existem programadores que não gostam de computadores. A partir dessa afirmação é correto concluir que
Aqualquer pessoa que não gosta de computadores é um programador.
Btodas as pessoas que gostam de computadores não são programadores.
Cdentre aqueles que não gostam de computadores, alguns são programadores.
Dpara ser programador é necessário gostar de computador.
Equalquer pessoa que gosta de computador será um bom programador.
Revelar gabarito e comentário▾
GabaritoC — dentre aqueles que não gostam de computadores, alguns são programadores.
Comentário gerado por IA. É um apoio ao estudo, ancorado em fontes, mas pode conter imprecisões — confira sempre na fonte oficial (lei, súmula, edital e gabarito da banca). Encontrou um erro? Use “Reportar”.
Lógica de Argumentação — Quantificadores e Inferências
Gabarito: letra C. A afirmativa "existem programadores que não gostam de computadores" é uma proposição existencial: há pelo menos um indivíduo que é programador e não gosta de computadores. A conclusão logicamente equivalente é que, dentre aqueles que não gostam de computadores, alguns são programadores (alternativa C). As demais ou invertem a relação (A), contradizem a premissa (B, D) ou introduzem elemento estranho (E).
NÃO CAIA NESSA!
A banca explora a confusão entre "alguns A são B" e "todo B é A". A alternativa A é o erro clássico: transformar a existência de programadores que não gostam de computadores em uma regra universal que afirma que qualquer pessoa que não gosta de computadores é programador. Fique atento: o quantificador existencial ("existem") não autoriza generalizações universais.
Proposição
Significado
Valor Lógico
∃x (P(x) ∧ ~G(x))
Existe programador que não gosta de computadores
V (premissa)
∀x (~G(x) → P(x))
Todo não-gostador é programador
F (alternativa A)
∀x (G(x) → ~P(x))
Todo gostador não é programador
F (alternativa B)
∃x (~G(x) ∧ P(x))
Algum não-gostador é programador
V (alternativa C)
∀x (P(x) → G(x))
Todo programador gosta de computadores
F (alternativa D)
Alternativa A — ❌ Incorreta
Afirma que "qualquer pessoa que não gosta de computadores é um programador". Isso é uma universalização indevida. A premissa original diz apenas que alguns (pelo menos um) programadores não gostam de computadores; nada impede que existam pessoas que não gostam de computadores e não sejam programadores. Portanto, A é falsa.
Alternativa B — ❌ Incorreta
Diz que "todas as pessoas que gostam de computadores não são programadores". A premissa não fornece informação sobre quem gosta de computadores. É possível que existam programadores que gostam de computadores, então B não pode ser concluída.
Alternativa C — ✅ Correta ⟵ GABARITO
"Dentre aqueles que não gostam de computadores, alguns são programadores." Essa é a reafirmação correta da proposição original. Se existe um programador que não gosta de computadores, então ele pertence ao conjunto dos que não gostam de computadores e também ao conjunto dos programadores. Logo, há pelo menos um elemento na interseção, o que significa que alguns que não gostam de computadores são programadores.
Alternativa D — ❌ Incorreta
"Para ser programador é necessário gostar de computador." Isso implicaria que todo programador gosta de computadores, o que contradiz diretamente a existência de um programador que não gosta. Logo, D é falsa.
Alternativa E — ❌ Incorreta
"Qualquer pessoa que gosta de computador será um bom programador." Além de ser uma afirmação universal não respaldada pela premissa, introduz o conceito de "bom programador", que não foi mencionado. Não há relação lógica entre a premissa e essa conclusão.