两列列表由垂直线分隔，LaTeX

Question

我想创建这样的东西：

我取得了类似的成果LaTeX，

但什么都没有对齐，而且文本上方和下方有太多空白。有什么解决办法吗？

这是我使用的代码

\begin{itemize}
    \item[$\impliedby$]
        \begin{center} 
            \begin{tabular}{p{5cm}|p{3.9cm}}
            $\begin{array}{lr}
                    \text{ipotesi: }            [x]_\Rel \ne [y]_\Rel                   \\
                    \text{tesi: \;\;\;\;\;}     [x]_\Rel \cap [y]_\Rel = \varnothing
            \end{array}$
            &
            \begin{lstlisting}
assunto che sia vera l'ipotesi,
supponiamo che la tesi non sia
vera. Dobbiamo arrivare ad una
contraddizione (dimostrazione
per assurdo)
            \end{lstlisting}  
        \end{tabular}
    \end{center}
\end{itemize}

Answer 1

对于单次拍摄你可以这样做

\documentclass{article}

\usepackage{amssymb,tabularx}

\begin{document}

\noindent
\begin{tabularx}{\linewidth}{@{}l|X@{}}
\begin{tabular}[t]{@{}ll>{$}l<{$}@{}}
$\Rightarrow$) & ipotesi: & [x]_{\mathcal{R}} \neq [y]_{\mathcal{R}} \\
               & tesi:    & [x]_{\mathcal{R}} \cap [y]_{\mathcal{R}} = \varnothing
\end{tabular}
&
assunto che sia vera l'ipotesi,
supponiamo che la tesi non sia
vera. Dobbiamo arrivare ad una
contraddizione (dimostrazione
per assurdo)
\end{tabularx}

\end{document}

替代方案（使用aligned而不是嵌套的tabular）

\documentclass{article}

\usepackage{amssymb,amsmath,tabularx}

\begin{document}

\noindent
\begin{tabularx}{\linewidth}{@{}l|X@{}}
$
\begin{aligned}[t]
\Rightarrow) \quad & \text{ipotesi:} && [x]_{\mathcal{R}} \neq [y]_{\mathcal{R}} \\
             & \text{tesi:}    && [x]_{\mathcal{R}} \cap [y]_{\mathcal{R}} = \varnothing
\end{aligned}
$
&
Assunto che sia vera l'ipotesi,
supponiamo che la tesi non sia
vera. Dobbiamo arrivare ad una
contraddizione (dimostrazione
per assurdo).
\end{tabularx}

\end{document}

（基本上相同的输出。）

如果您更频繁地需要这种构造，那么定义宏/环境可能会很明智。