Подставлять вместо связанной переменной нельзя. Возможно, имеется в виду "вывести следствие по кванторному правилу

"
Если да, то получится

Если же имеется в виду "переименовать переменную

", то надо и переменную

тоже переименовать, иначе смысл формулы изменится. Например, так

Смысл формулы не изменился.