(∃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.