在证明包推断过程中暂停在 beamer 中

在证明包推断过程中暂停在 beamer 中

我有这个代码

\documentclass{beamer}
\usepackage{proof}
\begin{document}
\frame{
  \[
    \infer{\textrm{conclusion}}
    {
      \infer{\textrm{intermediate conclusion}}
      {\textrm{premises}}
      &
      \infer{\textrm{other conclusion}}
      {\textrm{other premises}}
    }
  \]
}
\end{document}

生成一个框架 在此处输入图片描述

我想先显示“其他前提”,然后添加“其他结论”,然后是“前提”,然后是“中间结论”,最后是整个结论。但是,我无法使用,pause因为代码中的顺序是相反的,我尝试了几种方法\onslide+<2->,但都没有用。

有什么帮助吗?

澄清:我希望在尚未介绍前提/结论时不要出现这些行。它们应该按需要的顺序出现。例如,首先只应出现句子“其他前提”,然后当出现“其他结论”时,才应显示它们之间的行。

答案1

像这样?

\documentclass{beamer}
\usepackage{proof}
\begin{document}
\frame{
  \[
    \infer{\textrm{conclusion}}
    {
      \infer{\visible<5->{\textrm{intermediate conclusion}}}
      {\visible<4->{\textrm{premises}}}
      &
      \infer{\visible<3->{\textrm{other conclusion}}}
      {\visible<2->{\textrm{other premises}}}
    }
  \]
}
\end{document}

答案2

我找到了一个方法。

\documentclass{beamer}
\usepackage{proof}

\begin{document}
\frame{
  \[
    \color{white}
    \color<5->{black}{
      \infer{\textrm{conclusion}}
      {
        {\color<4->{black}
          \infer{\textrm{intermediate conclusion}}
          {\color<3->{black}\textrm{premises}}
        }
        &
        {\color<2->{black}
        \infer{\textrm{other conclusion}}
        {\color{black}\textrm{other premises}}
      }
    }
  }
\]
}
\end{document}

相关内容