Trabalho final de Lógica - Grupo 5