我怎样才能将包含长内联数学表达式的表格放入页面中？

Question

我面临的问题是如何让这个表适合列表，以便可以很好地分解长的内联数学表达式。

\documentclass{article}

\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{libertine}
\usepackage[british]{babel}
\usepackage{courier}
\usepackage{amssymb}
\usepackage{amsmath, amsfonts}
\usepackage{mathrsfs}
\usepackage{stmaryrd}
\usepackage{enumitem}

\usepackage{multicol}
\usepackage{supertabular}

\usepackage{tabto}
\usepackage{multirow}
\usepackage{multicol}

\begin{document}
    
\begin{description}
\item [Exercise 2.4] Establish each of the following facts. 
    \begin{enumerate}
        \item $\vdash \ P \ \rightarrow \ P$
        
        \begin{supertabular}{rll}
            1) & $P \ \rightarrow \ (P \ \rightarrow \ P)$                            & PL$_1$ \\
            2) & $P \ \rightarrow \ [(P \ \rightarrow \ P) \ \rightarrow \ P]$                                 & PL$_1$ \\
            3) & $\{P \ \rightarrow \ [(P \ \rightarrow \ P) \ \rightarrow \ P]\} \ \rightarrow \ \{[P \ \rightarrow \ (P \ \rightarrow \ P )]$      & PL$_2$ \\
            & \multicolumn{1}{r}{$\rightarrow \ (P \ \rightarrow \ P)\}$} & \\
            4) & $[P \rightarrow \ (P \ \rightarrow \ P)] \ \rightarrow \ (P \ \rightarrow \ P)$ & 2, 3, MP \\
            5) & $P \rightarrow P$ & 1, 4, MP \\
        \end{supertabular}
\end{enumerate}
\end{description}
\end{document}

这样做的问题是我必须手动拆分内联数学公式，这一点也不整洁。另一个问题是，通过这种方式拆分，所有表格最终都会有不同的大小。我不介意公式在哪里拆分，但我希望以这样一种方式拆分，使所有表格都具有相同的大小，最好是它们具有页面书写空间的宽度。

感谢您的帮助！

Answer 1

如果您不坚持将表格推到右边，则可以将所有内容放在一行上。

\documentclass{article}
\usepackage[T1]{fontenc}
\usepackage{libertine}
\usepackage[british]{babel}
\usepackage{courier}
\usepackage{amssymb,amsmath,mathrsfs,stmaryrd}
\usepackage{enumitem,array,supertabular}

\begin{document}
\begin{description}[wide=0pt]
\item[Exercise 2.4] Establish each of the following facts. 
   \begin{enumerate}[left=0pt]
   \item $\vdash \, P \, \to \, P$
   \setlength\tabcolsep{4pt}
    
   \begin{supertabular}{@{}r >{$}l<{$} l@{}}
      1) & P \, \to \, (P \, \to \, P)                               & PL\textsuperscript{1} \\
      2) & P \, \to \, [(P \, \to \, P) \, \to \, P]                 & PL\textsuperscript{1} \\
      3) & \{P \, \to \, [(P \, \to \, P) \, \to \, P]\} \, \to
           \, \{[P \, \to \, (P \, \to \, P )] \to \, (P \, \to \, P)\} & PL\textsuperscript{2} \\
      4) & [P \to \, (P \, \to \, P)] \, \to \, (P \, \to \, P)         & 2, 3, MP \\
      5) & P \to P                                                   & 1, 4, MP \\
   \end{supertabular}
\end{enumerate}
\end{description}
\end{document}