O documento apresenta uma lista de exercícios resolvidos de Matemática Discreta abordando técnicas de prova e definições indutivas. Os principais tópicos incluem provas por contraposição, contradição e indução para validar conjecturas sobre números primos, funções e sequências.