Uma afirmação equivalente à afirmação ‘Se Alice estuda, então ela faz uma boa prova, e se Alice estuda, então ela não fica triste’ é