\( (\exists \,\, \chi) \)(maisIdade\( (\chi) \,\, \rightarrow \,\, (\forall y) \)(maisJovem\( (y) \,\, \rightarrow \,\, \) maisEstudioso\( (\chi, \,\, y))) \)

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