Trabalho prático da disciplina de Lógica para Computação 2014.1.