Questão 17 — Lógica de Predicados — Quantificadores (Raciocínio Lógico) — Cebraspe · Tribunal Superior do Trabalho (TST) 2024

Raciocínio Lógico Lógica de Predicados — Quantificadores

Cebraspe 2024

Tribunal Superior do Trabalho (TST) · Técnico Judiciário — Área: Apoio Especializado — Especialidade: Programação

Gabarito disponível

(∃x)(maisIdade(x) → (∀y)(maisJovem(y) → maisEstudioso(x, y)))
Considerando que maisIdade(x) indica que x é uma pessoa de mais idade na faculdade, que maisJovem(x) indica que x é uma pessoa mais jovem na faculdade e que maisEstudioso(x, y) indica que x é mais estudioso que y, assinale a opção que traduz corretamente a notação lógica da sentença precedente.

Selecione uma alternativa A) Algumas pessoas de mais idade na faculdade são mais estudiosas que alguns dos mais jovens de lá. B) Todas as pessoas de mais idade na faculdade são mais estudiosas que alguns dos mais jovens de lá. C) Não existe nenhuma pessoa de mais idade na faculdade que seja mais estudiosa que todos os mais jovens de lá. D) Algumas pessoas de mais idade na faculdade são mais estudiosas que todos os mais jovens de lá. E) Todas as pessoas de mais idade na faculdade são mais estudiosas que todos os mais jovens de lá.