Fuente TeX:

(\forall x)(P_1(x) \to (\exists y)P_2(x,y))