Galera, é só ir fazendo as substituições.
“Todo aluno do curso de Informática estuda algum tópico de Matemática Discreta” é igual à:
SE é aluno(X) do curso de informática ENTÃO estuda algum tópico do curso de matemática Discreta(Y).
Vamos às alternativas:
A(x) ^ I(x) = X é aluno E(operador lógico) X é do curso de informática = X é aluno do curso de informática.
T(y) ^ E(x,y) = Y é tópico de matemática discreta E(operador lógico) X estuda Y = X estuda tópico de matemática discreta.
GABARITO: A
A(x) ^ I(x) --> T(y) ^ E(x,y) = SE X é aluno do curso de informática ENTÃO estuda algum tópico de matemática discreta.
----------------------------------------------------------------------------------------------
Acho que é isso, pessoal. Qualquer dúvida ou erro, avise-me, por favor.