惠誉与 Beamer 的自然扣除

Question

我正在使用 Beamer 和 Fitch 自然扣除法制作演示文稿Selinger 包装。

我正在尝试使用 \onslide 命令。出于某种原因，当我遵循语法并在后面使用括号 {} 时，它不起作用，但如果我按原样编写，它就会起作用。这是我找到的可以正常工作的代码：

\documentclass[10pt,pdf]{beamer}

\usepackage{fitch} 
\usepackage{amssymb}

\begin{document}

\begin{frame}
\frametitle {Working}

\[
\begin{nd}
\have {1} {p \rightarrow q} \by {premise} {}
    \open
\onslide<3->    \hypo {2} {\neg q}
        \open
\onslide<5->        \hypo {3} {p} 
\onslide<6->        \have {a} {p \rightarrow q} \r{1}
\onslide<7->        \have {4} {q}   \ie{3,a}
\onslide<8->        \have {5} {q \wedge \neg q} \ai{2,4}
\onslide<9->        \have {6} {\bot} 
        \close
\onslide<4->    \have {8} {\neg p} \ni {3-6}
    \close
\onslide<2-> \have {9} {\neg q \rightarrow \neg p} \pause \ii{2-8}

\end{nd}
\]
\end{frame}


\end{document}

我面临的一个问题是无法使用 \onslide<+->，表示加号。这意味着如果我从 6 开始更改 onslide - 它不会按我想要的顺序显示行，而是表示：\onslide<6-> \have {a} {p \rightarrow q} \r{1}

写这个：\onslide<+-> \have {a} {p \rightarrow q} \r{1}

等等，7、8、9——遵守后顺序完全改变。

感谢您的帮助。

Answer 1

注意：在您的示例中，我删除了对\pause（它应该用于什么用途）的调用？

该<+>符号使用beamerpauses计数器 (beamer 用户指南，第 90 页）。要从第 6 个覆盖层开始使用此符号，请使用\setcounter{beamerpause}{6}。

\documentclass[10pt,pdf]{beamer}
\usepackage{fitch} 
\usepackage{amssymb}
\begin{document}
\begin{frame}
  \frametitle {Working}
  
  \[
    \begin{nd}
      \onslide<1-> \have {1} {p \rightarrow q} \by {premise} {}
      \onslide<1-> \open
      \onslide<3->   \hypo {2} {\neg q}
      \onslide<3->   \open
      \onslide<4->     \hypo {3} {p} 
      \onslide<5->     \have {a} {p \rightarrow q} \r{1}
      \setcounter{beamerpauses}{6}
      \onslide<+->     \have {4} {q}   \ie{3,a}
      \onslide<+->     \have {5} {q \wedge \neg q} \ai{2,4}
      \onslide<+->     \have {6} {\bot} 
      \onslide<+->   \close
      \onslide<4->   \have {8} {\neg p} \ni {3-6}
      \onslide<4-> \close
      \onslide<2-> \have {9} {\neg q \rightarrow \neg p} \ii{2-8}
    \end{nd}
  \]
\end{frame}
\end{document}