在證明包的推斷中間暫停投影儀

Question

我有這個代碼

\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->，但也不起作用。

有什麼幫助嗎？

澄清：我希望在尚未介紹前提/結論時不要出現這些台詞。它們應該按需要的順序出現。例如，首先應該只出現「其他前提」這句話，然後當出現「其他結論」時，就應該顯示它們之間的線。

Answer 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}

Answer 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}