Questão 29 · Raciocínio Lógico e Matemática: Diagramas lógicos e quantificadores
Em lógica, quantificadores são operadores que definem o alcance de uma proposição em relação a um domínio. O quantificador universal (∀) indica que a propriedade se aplica a todos os elementos do domínio, enquanto o quantificador existencial (∃) afirma que há pelo menos um elemento no domínio que satisfaz a propriedade.
Com base nisso, assinale a sentença que pode ser expressa por meio de um quantificador universal.
- A) Há leis que entraram em vigor no ano de 2002.
- B) Todo juiz deve fundamentar suas decisões.
- C) Existe uma norma suprema no ordenamento jurídico.
- D) Em certos casos, a lei penal retroage para beneficiar o réu.
- E) Algumas normas constitucionais têm aplicação imediata.
Marque a alternativa correta:
Gabarito: B
Gabarito definitivo divulgado pela banca FGV (TJ/RS 2025).
Comentário
Gabarito: B.
A frase "Todo juiz deve fundamentar suas decisões" é universal, pois afirma uma propriedade de todos os elementos do domínio (todos os juízes). Assim, pode ser expressa por meio do quantificador universal ∀: ∀x (juiz(x) → deve fundamentar(x)).
As demais alternativas são existenciais ou falam de casos específicos:
- A: "Há leis..." é existencial (∃).
- C: "Existe uma norma suprema" é existencial (∃).
- D: "Em certos casos" indica existência de casos, logo existencial.
- E: "Algumas normas" é existencial (∃).
Dica: "todo", "qualquer" e "cada" indicam universal; "algum", "há", "existe" e "em certos casos" indicam existencial.
Fundamentos: Lógica de predicados: quantificador universal (∀) e existencial (∃)
Comentário gerado pela Cravei IA a partir do enunciado e do gabarito definitivo divulgado pela banca, e conferido por uma verificação automática. A IA pode errar: o gabarito oficial sempre prevalece.
Fonte: prova FGV TJ/RS 2025 (Técnico do Poder Judiciário – Área Administrativo - Judiciária), questão 29, com o gabarito definitivo da banca. Comentário: Equipe Cravei · como fazemos e revisamos.