Como escrever regras de inferência se tivermos dois antecedentes

Question

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

Preciso obter os dois antecedentes em duas linhas separadas.

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

\Phi \in \langle\Psi\rangle

Answer 1

Embora eu não esteja familiarizado com o contexto, você pode usar an arraypara dividir os "antecedentes" em linhas 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}

Isto colocará o objeto centralizado verticalmente em torno da linha de fração. Se isso não for motivo de preocupação, você pode fazer tudo dentro de um arrayambiente:

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

Existem outros pacotes que também fornecem funcionalidade de regras de inferência, comosemanticouproofs.

Answer 2

Eu encontrei omatemáticapartirpacote o mais fácil de usar para a composição de regras de inferência neste estilo. O estilo padrão é antecedentes lado a lado, mas você pode colocá-los em linhas separadas colocando duas quebras de linha entre os antecedentes. Nesse caso

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

que vai parecer