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 é