Projeto da disciplina de lógica matemática UFCG 2014.1