Cómo escribir reglas de inferencia si tenemos dos antecedentes

Question

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

Necesito obtener los dos antecedentes en dos líneas separadas.

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

\Phi \in \langle\Psi\rangle

Answer 1

Aunque no estoy familiarizado con el contexto, puedes usar un arraypara dividir los "antecedentes" en líneas separadas:

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

Esto colocará el objeto centrado verticalmente alrededor de la línea de fracción. Si eso no te preocupa, puedes hacer todo dentro de un arrayentorno:

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

Hay otros paquetes que también proporcionan funcionalidad de reglas de inferencia, comosemanticoproofs.

Answer 2

he encontrado elmatemáticaspartirpaquete el más fácil de usar para componer reglas de inferencia en este estilo. El estilo predeterminado es antecedentes uno al lado del otro, pero puede colocarlos en líneas separadas poniendo dos saltos de línea entre los antecedentes. En este caso

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

que se parecerá