Este documento apresenta uma lista de exercícios sobre métodos dedutivos da lógica de predicados, focando no quantificador universal. A lista inclui exercícios com solução no livro e exercícios sem solução para o estudante provar. Os exercícios envolvem provar implicações lógicas entre expressões que contém quantificadores universais e predicados.