Matematica discreta

Em uma questão de uma avaliação de MD do CEDERJ, foi pedido que se determinasse um
enunciado equivalente a negação do enunciado:
Isabel não almo¸cou e: foi ao dentista, pois estava com cáries.
Um dos alunos que fez a avaliação respondeu que a solução da questão é :
Se Isabel não estava com cáries ou foi ao dentista: então ela almoçou.
Este aluno não apresentou as razões que o levaram a concluir que esta ´e a resposta correta.
Por esta razão, ele obteve no m´aximo a metade da pontuação, nesta questão.
Mostre que a resposta do aluno est´a correta, elaborando uma resolução completa para a
questão, utilizando o método de negação de enuncidos por meio de equivalências, estudado
na aula da Semana 3.