Negaçao de Enunciados com um Quantificador

Gente,
Reprovei nesta materia e to estudando como louca, mais preciso da ajuda de vocês para resolver esta questão:

Em uma questão de uma AP1 de MD foi pedido que o seguinte enunciado fosse simbolizado e negado:
" Todas as pessoas gostam de raspadinha ou de sorvete, mas há pessoas idosas que não podem comer coisas geladas."

 Um aluno apresentou o seguinte enunciado como resposta para negaçaão:´

 ∃xa(x) ∧ ¬b(x) ∧ ¬c(x) ∨ ∀ya(y) ∧ d(y) → e(y)

 entre outras coisas, esquecendo de apresentar os parênteses, os colchetes e as chaves que estruturam o enunciado simbolizado da maneira correta.
Preciso restaurar a resolução do aluno, escrevendo-a de maneira correta e completa, ou seja:

 (a) apresentando uma legenda;
 (b) simbolizando o enunciado original de acordo com a legenda;
 (c) apresentando uma sequencia de equivalencias que transforma a negação do enunciado original no enunciado apresentado pelo aluno (com os parenteses, os colchetes e as chaves, que estruturam o enunciado simbolizado da maneira correta);
 (d) apresentando a reescrita da negação em lıngua portuguesa.