A proposição “se o freio da bicicleta falhou, então não houve manutenção” é equivalente à proposição