Fuente TeX:

\infer[E \forall]{\neg P(X) \lor Q(w)}{\forall y (\neg P(X) \lor Q(Y))}