Questão 26306 — Raciocínio Lógico

Resposta: B

A quantificação universal (∀) combinada com o operador de implicação (→) é a forma correta de expressar uma afirmação geral sobre todos os elementos de um conjunto que satisfazem uma determinada propriedade. A fórmula ∀x (F(x) → E(x)) lê-se 'Para todo x, se x é funcionário público concursado, então x tem direito à estabilidade'. Isso corresponde exatamente à afirmação dada. A alternativa A (∀x (F(x) ∧ E(x))) implicaria que *todas* as pessoas são funcionários públicos concursados e têm direito à estabilidade, o que é incorreto. A alternativa C (∃x (F(x) ∧ E(x))) expressa a existência de pelo menos um funcionário público concursado com direito à estabilidade, não que *todos* o têm. A alternativa D (∀x (E(x) → F(x))) diria que todos que têm direito à estabilidade são funcionários públicos concursados. A alternativa E (∃x (F(x) → E(x))) é uma afirmação existencial sobre a implicação, que não captura a universalidade da proposição original.