Se João não estudou, então ele foi mal na prova de Matemátic...
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:
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: