“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 é