☰

惠誉评级覆盖理由

tag-icon • tag-icon lplfitch
惠誉评级覆盖理由

我正在尝试使用 lplfitch 包进行逻辑证明推导，但行对于该包来说太长了，所以我如何让它适应这一点。（我已经尝试使用换行符 (\)，但它只会让对齐覆盖之前的对齐）

  \documentclass{article}
  \usepackage{lplfitch}
  \begin{document}
  \fitchprf{}{
  \subproof{
    \pline[1.]{\forall m }[Gegeben]\\
    \pline[2.]{\forall x }[Gegeben]
  }{
    \pline[3.]{\forall m_1 m_2 \in M (\forall v_1 \in V(m_1) \forall v_2 \in V(m_2) \to
                \neg C(v_1, v_2) )}[1, 2, Modus Ponentz]
  }
}

答案1

您可以使用该\brokenform命令（在第 4 页中解释）lplfitch 文档）。

\documentclass{article}
\usepackage{lplfitch}

\begin{document}

\fitchprf{}{
\subproof{
    \pline[1.]{\forall m }[Gegeben]\\
    \pline[2.]{\forall x }[Gegeben]
  }{
    \pline[3.]{\brokenform{\forall m_1 m_2 \in M (\forall v_1 \in V(m_1)}{\formula{\forall v_2 \in V(m_2) \to\neg C(v_1, v_2) )}}}[1, 2, Modus Ponentz]
  }
}

\end{document}

当然，您可以选择不同的位置来打破公式。

请注意，的第二个参数\brokenform必须包装起来，\formula因为它可能包含换行符。

相关内容