Второе правило гласит: перед антецедентом истинной импликации допустимо ставить квантор существования, связывающий свободную переменную, входящую ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Лукасевич Я.N.
Аристотелевская силлогистика с точки зрения современной формальной логики
Второе правило гласит: перед антецедентом истинной импликации допустимо ставить квантор существования, связывающий свободную переменную, входящую в антецедент, если только эта переменная не входит в качестве свободной переменной в консеквент.