Wie schreibt man Inferenzregeln, wenn wir zwei Antezedenzien haben?

Question

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

Ich muss die beiden Antezedenzien in zwei getrennten Zeilen erhalten.

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

\Phi \in \langle\Psi\rangle

Answer 1

Obwohl ich mit dem Kontext nicht vertraut bin, können Sie ein verwenden, arrayum die „Antezedenzien“ in separate Zeilen aufzuteilen:

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

Dadurch wird das Objekt vertikal zentriert um den Bruchstrich platziert. Wenn das kein Problem ist, können Sie alles innerhalb einer arrayUmgebung erledigen:

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

Es gibt andere Pakete, die ebenfalls Inferenzregelfunktionen bereitstellen, wiesemanticoderproofs.

Answer 2

Ich habe gefunden dieMathepartirPaket ist am einfachsten zu verwenden, um Inferenzregeln in diesem Stil zu setzen. Der Standardstil ist nebeneinander stehende Antezedenzien, aber Sie können sie auf separate Zeilen setzen, indem Sie zwei Zeilenumbrüche zwischen die Antezedenzien setzen. In diesem Fall

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

Das wird aussehen wie