我正在尝试使用 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
必须先添加2
。2
3
请注意,\textendash
在数学模式下是不合适的。我已将其放在 a 的范围内\text{}
以消除警告。