Trabalho final de Lógica - Grupo 3