Связанные Переменные в Логике Предикатов: Понятие и Примеры