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 estudou. João não foi mal na prova de Matemática. Logo: