Fundamentos de Gem Logic