将一些方程式放在对齐框内

将一些方程式放在对齐框内

我正在尝试做这样的事情: 目标

但我就是搞不清楚怎么做。我尝试过 empheq 和tikz,但无法让它在只有一些框的情况下工作align。我也尝试过\boxed\Aboxed,也没有成功。

我有几个我尝试过的例子:

\documentclass[12pt]{article}
\usepackage[danish]{babel}
\usepackage [utf8]{inputenc}
\usepackage{moreverb}
\usepackage{listings}
\usepackage{graphicx}
\usepackage{verbatim}
\usepackage{amsmath}
\usepackage{empheq}

\begin{document}
\begin{align*}
& 1 &(p \wedge q) \wedge r && \text{premise} \\
& 2 & p \wedge q && \wedge_e_1 1 \\
& 3 & r && \wedge_e_2 1 \\
& 4 & p && \wedge_e_1 2 \\
& 5 & q && \wedge_e_2 2 \\
& 6 & q \wedge r && \wedge_i 5,3 \\
& 7 & p \wedge (q \wedge r) && \wedge_1 4,6
\end{align*}
\end{document}

这给了我类似格式但没有方框的东西。然后我想我可以放弃第一列,只需用数字计算左侧的方程式:\documentclass[12pt, leqno]{article},但我不知道是否要将一些行框起来。

所以我希望你们中的一位专家可以帮助我在 Latex 中制作类似的东西。

编辑:我离我的目标越来越近了,现在我已经成功地制作了一个盒子:

$$
\begin{tabular}{ccl}
1 & \neg p \rightarrow p & \text{premise} \\
\cline{2-3}
2 & \multicolumn{1}{|c}{\neg p} & \multicolumn{1}{l|}{\text{assumption}} \\
3 & \multicolumn{1}{|c}{p} & \multicolumn{1}{l|}{\rightarrow_e 2,1} \\
4 & \multicolumn{1}{|c}{\bot} & \multicolumn{1}{l|}{\neg_e 3,2} \\
\cline{2-3}
5 & \neg \neg p & \neg_i 2-4 \\
6 & p & \neg \neg_e 5 
\end{tabular}
$$

那么现在的问题是,如何在 Box 中创建一个 Box?

答案1

这是使用该库的 MWE tikzmark

在此处输入图片描述

\documentclass[letterpaper]{article}
\usepackage{amsmath}
\usepackage{array}
\usepackage{tikz}
    \usetikzlibrary{tikzmark}   

\begin{document}
\renewcommand{\arraystretch}{1.2}
    \begin{tabular}{l@{\hspace{2em}}ll}
        1 & $p\wedge q\rightarrow r$ & premise\\
        2 & \pgfmark{a}$p$ & assumption\\
        3 & \pgfmark{c}$q$ & assumption\\
        4 & $p\wedge q$ & $\wedge i\ 2,3$\pgfmark{d}\\
        5 & $q\rightarrow r$ & $\rightarrow i\ 3-5$\pgfmark{b}\\
        6 & $p\rightarrow (q\rightarrow r)$ & $\rightarrow i\ 2-6$
    \end{tabular}
    \tikz [remember picture]{ 
    \draw [overlay,->] ([shift={(-1em,2ex)}]pic cs:a) rectangle ([shift={(1.5em,-1.25ex)}]pic cs:b);
    \draw [overlay,->] ([shift={(-0.75em,2ex)}]pic cs:c) rectangle ([shift={(2.5em,-1.25ex)}]pic cs:d);}
\end{document}

简单来说,由于您的大部分内容都采用数学模式,因此您可以使用数组而不是表格。我已将您的示例编辑如下:

在此处输入图片描述

{\renewcommand{\arraystretch}{1.2}
$\begin{array}{ccl}
1 & \neg p \rightarrow p & \text{premise} \\
\cline{2-3}
2 & \multicolumn{1}{|c}{\neg p} & \multicolumn{1}{l|}{\text{assumption}} \\
3 & \multicolumn{1}{|c}{\pgfmark{e}p} & \multicolumn{1}{l|}{\rightarrow_e 2,1\pgfmark{f}} \\
4 & \multicolumn{1}{|c}{\bot} & \multicolumn{1}{l|}{\neg_e 3,2} \\
\cline{2-3}
5 & \neg \neg p & \neg_i 2-4 \\
6 & p & \neg \neg_e 5 
\end{array}$}
\tikz [remember picture]{% 
    \draw [overlay,->] ([shift={(-1.5em,2ex)}]pic cs:e) rectangle ([shift={(2em,-1.25ex)}]pic cs:f);}

相关内容