Raciocínio Lógico

Considere a seguinte sentença:

Todo aluno do curso de Informática estuda algum tópico de Matemática Discreta

e os seguintes predicados:

A(x): x é aluno.I(x): x é do curso de Informática.E(x,y): x estuda y.T(x): x é tópico de Matemática Discreta.

Uma forma de traduzi-la é