![惠誉与 Beamer 的自然扣除](https://linux22.com/image/447482/%E6%83%A0%E8%AA%89%E4%B8%8E%20Beamer%20%E7%9A%84%E8%87%AA%E7%84%B6%E6%89%A3%E9%99%A4.png)
我正在使用 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——遵守后顺序完全改变。
感谢您的帮助。
答案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}