Este documento apresenta uma lista de exercícios resolvidos de Matemática Discreta abordando técnicas de prova e definições indutivas. Os principais pontos tratados são: provar conjecturas usando métodos como contraposição, absurdo e indução; encontrar fórmulas fechadas de sequências recursivas; e operações com conjuntos.