如何建立这样的逻辑论证？

Question

如何建立这样的逻辑论证？

用彩色线

Answer 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。

Answer 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}

Answer 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}