Este documento fornece uma lista de exercícios sobre lógica de predicados que envolvem o quantificador existencial. Os alunos devem provar sete teoremas envolvendo expressões lógicas com quantificadores universais e existenciais aplicados a predicados.