带有 tkz-linknodes 的嵌套箭头

带有 tkz-linknodes 的嵌套箭头

我正在尝试使用 tkz-linknodes 包复制 Hauser 的《逻辑导论》中使用的符号。第一个障碍是让箭头出现在左侧,而不是右侧。但主要障碍是让它们正确嵌套。似乎 tkz 链接节点的设计目的不是让它们嵌套,而只是让它们重叠。我想要 3 个箭头。我设法让 2 个工作。现在只需要链接第 2 行和第 7 行。扩大对齐环境的边距会有帮助吗?这是我的最小工作示例:

\documentclass{article}
\usepackage[utf8]{inputenc}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{tikz}
\usetikzlibrary{arrows}
\usepackage{tkz-linknodes}
\tikzset{ArrowStyle/.style={>=latex,<-,text=black}}
\tikzset{LabelStyle/.style={pos=0.5,right}}
\title{Proof Scrap}
\author{Joe Fetus}
\date{}

\begin{document}

\maketitle
\section{Introduction}
\begin{NodesList}
\begin{align*}
& 1. \quad C \supset D & &\text{p} \  /\therefore A \supset [B \supset (C \supset D)]\\
& 2. \quad A &&\textbf{AP} \  /\therefore B \supset (C \supset D)  \\ 
\AddNode[2] & 3. \quad B &&\textbf{AP} \  /\therefore C \supset D \\
\AddNode & 4. \quad C &&\textbf{AP} \  /\therefore D  \\
&  5. \quad D && 1,4 \ \textbf{MP} \raise -1.2ex\hbox{\AddNode} \\ 
&  6. \quad C \supset D && 4–5 \ \textbf{CP} \raise -1.2ex\hbox{\AddNode[2]} \\ 
&  7. \quad B \supset (C \supset D) && 3–6 \  \textbf{CP} \\ 
&  8. \quad A \supset [B \supset (C \supset D)] && 2–7 \  \textbf{CP}
\end{align*}

\LinkNodes[margin=13cm]{}
\LinkNodes[margin=13.5cm]{}
\end{NodesList}
\end{document}

答案1

像这样吗?

嵌套箭头

\documentclass{article}
\usepackage[utf8]{inputenc}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{tikz}
\usetikzlibrary{arrows}
\usepackage{tkz-linknodes}
\tikzset{ArrowStyle/.style={>=latex,<-,text=black}}
\tikzset{LabelStyle/.style={pos=0.5,right}}

\begin{document}

  \begin{NodesList}
    \begin{align*}
      & 1. \quad C \supset D & &\text{p} \  /\therefore A \supset [B \supset (C \supset D)]\\
      \AddNode[1] & 2. \quad A &&\textbf{AP} \  /\therefore B \supset (C \supset D)  \\
      \AddNode[2] & 3. \quad B && \textbf{AP} \  /\therefore C \supset D \\
      \AddNode[3] & 4. \quad C &&\textbf{AP} \  /\therefore D  \\
      &  5. \quad D && \text{1, 4 \textbf{MP}} \raise -1.2ex\hbox{\AddNode[3]} \\
      &  6. \quad C \supset D && \text{4--5 \textbf{CP}} \raise -1.2ex\hbox{\AddNode[2]} \\
      &  7. \quad B \supset (C \supset D) && \text{3--6 \textbf{CP}} \raise -1.2ex\hbox{\AddNode[1]} \\
      &  8. \quad A \supset [B \supset (C \supset D)] && \text{2--7  \textbf{CP}}
    \end{align*}

    \LinkNodes[margin=14cm]{}
    \LinkNodes[margin=13.5cm]{}
    \LinkNodes[margin=13cm]{}
  \end{NodesList}
\end{document}

我认为您需要按顺序添加节点组。因此,在为该组添加第一个节点之前1必须先添加223

请注意,\textendash在数学模式下是不合适的。我已将其放在 a 的范围内\text{}以消除警告。

相关内容