экзистенциальный вывод

Мат. existential inference