Trabalho final de Lógica - Grupo 4