Lógica del sistema SGI