答案1
简单array
就可以了:
\documentclass{article}
\usepackage{amsmath,amssymb}
\begin{document}
\[
\begin{array}{ r l }
& p \rightarrow q \\
& p \\
\cline{2-2}
\therefore & q
\end{array}
\]
\end{document}
如果你想要一个彩色规则,请添加colortbl
到你的序言并使用:
\[
\begin{array}{ r l }
& p \rightarrow q \\
& p \\
\arrayrulecolor{red}\cline{2-2}
\therefore & q
\end{array}
\]
中的规则宽度array
可以使用 进行调整\setlength{\arrayrulewidth}{<len>}
。默认值为.4pt
。
答案2
根据您想要的线路延伸程度...会显示两种方式。
规则的粗细由 的值决定\fboxrule
。
\documentclass{article}
\usepackage{amssymb}
\usepackage[TABcline]{tabstackengine}
\TABstackMath
\begin{document}
\[
\alignShortstack{
& p \rightarrow q\\
& p\\
\TABcline{2}
\therefore & q
}
\]
\[
\fboxrule=1pt
\setstacktabbedgap{1.5ex}
\tabbedShortstack[l]{
& p \rightarrow q&\\
& p&\\
\TABcline{2}
\therefore & q&
}
\]
\end{document}
答案3
由于这个问题被标记tikz-pgf
,我也尝试根据 Ti 给出答案钾Z。
\documentclass[fleqn]{article}
\usepackage{amsmath,amssymb}
\usepackage{tikz}
\usetikzlibrary{matrix,calc}
\begin{document}
\[ \begin{tikzpicture}
\matrix[matrix of math nodes,nodes in empty cells] (mat) {& p & \to & q\\
& p & & \\
\therefore & q & & \\
};
\draw[red,line width=1pt] ($(mat-2-2.south west)!0.5!(mat-3-2.north west)$)
coordinate (aux) -- (aux-|mat.east);
\end{tikzpicture}
\]
\end{document}
确实,这个图表也可以用其他可以说是更基本的软件包来完成。另一方面,当你想做一些更花哨的事情时,你很可能会欣赏 Ti 提供的无数功能钾Z。
如果你的文档中也有交换图,你可能还是想使用tikz-cd
,在这种情况下,你可以简单地做
\documentclass[fleqn]{article}
\usepackage{amsmath,amssymb}
\usepackage{tikz-cd}
\usetikzlibrary{matrix,calc}
\begin{document}
\[\begin{tikzcd}[remember picture,row sep=3pt,column sep=1pt]
& p \arrow[rr]& ~ & q\\
& p & & \\
\therefore & q & & \\
\end{tikzcd}
\tikz[remember picture,overlay]{
\draw[red,line width=1pt] ($(\tikzcdmatrixname-2-2.south west)!0.5!(\tikzcdmatrixname-3-2.north west)$)
coordinate (aux) -- (aux-|\tikzcdmatrixname.east);
}
\]
\end{document}