Questão de Raciocínio Lógico · CEBRASPE CÂMARA DOS DEPUTADOS 26 PLF 2026 (nº 42)

O conceito-chave é que a implicação lógica $p(x) \rightarrow q(x)$ é falsa somente quando $p(x)$ é verdadeiro e $q(x)$ é falso. A negação $\neg(p(x) \rightarrow q(x))$ significa "existe alguém que é favorável e vota contra", não "não é favorável e vota contra".

• Correta: Errado. A frase original diz "não é favorável e sua votação não é favorável", mas a fórmula $\exists x\ \neg (p(x) \rightarrow q(x))$ representa "existe deputado que é favorável e vota contra" — o erro está em trocar a negação da implicação pela negação dos dois predicados.

Como ficaria certo: $\exists x\ (\neg p(x) \land \neg q(x))$ — que lê-se "existe deputado que não é favorável e não vota favorável".