☰

如果我們有兩個前提，如何寫推理規則

tag-icon • tag-icon math-mode stacking-symbols
如果我們有兩個前提，如何寫推理規則 
\[ \frac{A \rightarrow f[\overrightarrow{B}]:= \Psi \\ \Phi \in
\langle\Psi\rangle} {A \rightarrow f[\bullet\overrightarrow{B}];\Phi} \]

我需要將兩個先行詞分成兩行。

A \rightarrow f[\overrightarrow{B}]:= \Psi

\Phi \in \langle\Psi\rangle

答案1

儘管我不熟悉上下文，但您可以使用 anarray將“前因”分成單獨的行：

在此輸入影像描述

\documentclass{article}
\begin{document}
\[
  \frac{\begin{array}{@{}c@{}}
    A \rightarrow f[\overrightarrow{B}]:= \Psi \\
      \Phi \in \langle\Psi\rangle
  \end{array}}{
    A \rightarrow f[\bullet\overrightarrow{B}];\Phi}
\]
\end{document}

這會將物件放置在分數線周圍垂直居中的位置。如果您不關心這一點，您可以在array環境中執行所有操作：

\[
  \begin{array}{c}
    A \rightarrow f[\overrightarrow{B}]:= \Psi \\
    \Phi \in \langle\Psi\rangle \\
    \hline
    A \rightarrow f[\bullet\overrightarrow{B}];\Phi
  \end{array}
\]

還有其他套件也提供推理規則功能，例如semantic或者proofs。

答案2

我已經找到了數學部分封裝最容易用於排版推理規則的這種風格。預設樣式是並排先行詞，但您可以透過在先行詞之間放置兩個換行符將它們放在單獨的行上。在這種情況下

\[
\inferrule{A \rightarrow f[\overrightarrow{B}]:= \Psi \\
\Phi \in \langle\Psi\rangle}
          {A \rightarrow f[\bullet\overrightarrow{B}];\Phi}
\]

看起來像

排版範例

相關內容