Questão 26308 — Raciocínio Lógico

Resposta: D

A frase 'Existe pelo menos um servidor público que não cumpre o horário integral' indica a existência de um elemento (um servidor público) que possui uma propriedade específica (não cumprir o horário integral). O quantificador existencial (∃) é o adequado para expressar esta ideia. A fórmula ∃x (S(x) ∧ ¬H(x)) lê-se 'Existe um x tal que x é servidor público E x não cumpre o horário integral'. Esta fórmula captura precisamente o sentido da sentença original. A alternativa A implicaria que *todos* os servidores públicos não cumprem o horário, o que é diferente. A alternativa B (∃x (S(x) → ¬H(x))) é uma afirmação existencial sobre uma implicação, que não é a mesma coisa que a existência de um indivíduo que satisfaz ambas as condições conjuntamente. A alternativa C é a negação de uma afirmação universal. A alternativa E é a negação de uma afirmação universal que diz que todos são servidores públicos e cumprem o horário, o que não corresponde à proposição dada.