Questão FC372415
Considere que “ um profissional é formado pela Faculdade X” seja uma condição suficiente para “ele presta serviço para a empresa E”. É correto afirmar que
Lógica de Proposições
FCC · 2019
Considere que “
um profissional é formado pela Faculdade X” seja uma condição suficiente para “ele presta serviço para a empresa E”. É
correto afirmar que
- a maioria dos profissionais que trabalham para a empresa E são formados pela Faculdade X.
- somente os profissionais que são formados pela Faculdade X prestam serviços para a empresa E.
- um profissional que não é formado pela Faculdade X não presta serviço para a empresa E.
- qualquer profissional que presta serviço para a empresa E é formado pela Faculdade X.
- não existe um profissional formado pela Faculdade X e que não presta serviços para a Empresa E.
Mostrar resposta e comentário
Gabarito
Errado
Comentário do professor
A afirmação inicial diz que “um profissional é formado pela Faculdade X” é condição suficiente para “ele presta serviço para a empresa E”.
Em lógica isso se formaliza como \( \forall x (F(x) \to E(x)) \): para todo indivíduo, se é formado em X então presta serviço em E.
Da forma \( \forall x (F(x) \to E(x)) \) decorre logicamente que não pode haver um indivíduo que satisfaça \(F(x)\) e ao mesmo tempo não satisfaça \(E(x)\).
Em símbolos: \( \neg \exists x (F(x) \land \neg E(x)) \). Essa é exatamente a sentença da alternativa correta.
Em termos de conjuntos, o conjunto dos formados em X está contido no conjunto dos que trabalham em E (\(F \subseteq E\)), logo nenhum elemento de \(F\) fica fora de \(E\).
Conteúdo do catálogo FC Concursos · Atualizado em