☰

두 개의 선행 사례가 있는 경우 추론 규칙을 작성하는 방법

tag-icon • tag-icon math-mode stacking-symbols
두 개의 선행 사례가 있는 경우 추론 규칙을 작성하는 방법 
\[ \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

문맥에 대해서는 잘 모르지만 an을 사용하여 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}
\]

다음과 같이 보일 것입니다

조판 예

관련 정보