Ferramentas para o ensino de Lógica