Hello,
kann mir wer sagen wie ich am einfachsten in Latex folgende Box über eine Formel in einer Aufzählung bekommen?
[Blockierte Grafik: http://web.student.tuwien.ac.at/%7Ee0502377/table.png]
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}