我想编写如下推理规则:其中 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}