如果我们有两个前提,如何编写推理规则

如果我们有两个前提,如何编写推理规则
\[ \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

尽管我不熟悉上下文,但是您可以使用array将“先行词”分成单独的行:

在此处输入图片描述

\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}
\]

看起来像

排版示例

相关内容