编辑

编辑

我想编写如下推理规则:在此处输入图片描述其中 C 的假设没有表述为连续的取决于一组假设,但带有括号 []。这是我得到的:

\documentclass[a4paper,11pt]{article}
\usepackage{proof}
\usepackage{amsmath,amssymb,amsthm,textcomp}

\begin{document}
\infer{C}{A \lor B & C & C}
\end{document}

我怎样才能把 [A] 和 [B] 放在 Cs 之上

答案1

编辑

针对你提出的问题的新版本,proof 使其变得非常简单。

\documentclass{article}
\usepackage{proof}
\begin{document}
\infer{R}{%
    P \lor Q
    & \deduce{R}{[P]}
    & \deduce{R}{[Q]}
}
\end{document}

变量推断语法

ebproof使其变得非常简单。

\documentclass{article}
\usepackage{ebproof}
\begin{document}
\[
  \begin{prooftree}
    \Hypo{P \lor Q}
    \Hypo {[P]}
    \Infer [rule style=no rule] 1 {R}
    \Hypo {[Q]}
    \Infer [rule style=no rule] 1 {R}
    \Infer3{R}
  \end{prooftree}
\]
\end{document}

非标准变量推理语法

相关内容