Este documento apresenta uma lista de exercícios sobre lógica de predicados utilizando quantificadores universais. A lista inclui exercícios com soluções no livro e exercícios sem solução para serem resolvidos. Os alunos devem realizar os exercícios sem olhar as soluções e usar estas apenas para conferir ou tirar dúvidas.