Se João não estudou, então ele foi mal na prova de Matemática. Se João foi surfar, então ele não estu - dou. João não foi mal na prova de Matemática. Logo: