A program exercice for a logic class at Instituto de Matemática e Estatística