Hello,

kann mir wer sagen wie ich am einfachsten in Latex folgende Box über eine Formel in einer Aufzählung bekommen?

ich habs jetz mal so versucht aber bringt irgendwie nicht wirklich was:

\begin{tabular}{ c c c c }
1. &$\exists x \forall y P(x, y)$ & &premise\\ \cline{2-4}
2. &$x_0 \qquad \forall y P(x_0, y)$ & &assumption\\
3. &$P(x_0, y_0)$ & &$\forall y ~e~1$\\
4. &$\exists x P(x, y_0)$ & &$\exists x~i~3$\\ \cline{2-4}
5. &$\forall y \exists x P(x, y)$ & &$\forall y~i~4$\\
\end{tabular}