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



Выдержка из книги Лукасевич Я.N. Аристотелевская силлогистика с точки зрения современной формальной логики


Второе правило гласит: перед антецедентом истинной импликации допустимо ставить квантор существования, связывающий свободную переменную, входящую в антецедент, если только эта переменная не входит в качестве свободной переменной в консеквент.

(cкачать страницу)

Смотреть книгу на libgen

Второе правило гласит:  перед антецедентом истинной импликации допустимо ставить квантор существования,  связывающий свободную переменную,  входящую в антецедент,  если только эта переменная не входит в качестве свободной переменной в консеквент.