trabalho da disciplina de logica.