Trabalho final de Lógica - Grupo 1