☰

2つの前提がある場合の推論規則の書き方

tag-icon • tag-icon math-mode stacking-symbols
2つの前提がある場合の推論規則の書き方 
\[ \frac{A \rightarrow f[\overrightarrow{B}]:= \Psi \\ \Phi \in
\langle\Psi\rangle} {A \rightarrow f[\bullet\overrightarrow{B}];\Phi} \]

2 つの先行詞を 2 つの別々の行に取得する必要があります。

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

私は見つけた数学者このスタイルでは推論ルールをタイプセットするのに最も使いやすいパッケージです。デフォルトのスタイルは並列の前提ですが、前提の間に2つの改行を入れることで別々の行に置くことができます。この場合

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

それは次のようになります

タイプセットの例

関連情報