Логические задачи множества