我正在尝试做这样的事情:
但我就是搞不清楚怎么做。我尝试过 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);}