existencially quantified conjunction

Конъюнкция с квантором существования