带有垂直点的前提放电与 bussproof.sty

带有垂直点的前提放电与 bussproof.sty

是否可以使用bussproof.sty封装来获得具有垂直点的前提放电?例如:使用proof.sty封装我用来\infer*获得垂直点放电

\documentclass[a4paper,12pt,twoside,openright]{book}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage[german,english,italian]{babel}
\usepackage{amssymb,amsmath,amsthm,varwidth,bussproofs,syllogism, mathrsfs, proof}
\begin{document}
\infer{C}{A \vee B & \infer*{C}{[A]} & \infer*{C}{[B]} }
\end{document}

但是使用bussproof.sty封装后我无法获得垂直点放电。例如:

\documentclass[a4paper,12pt,twoside,openright]{book}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage[german,english,italian]{babel}
\usepackage{amssymb,amsmath,amsthm,varwidth,bussproofs,syllogism, mathrsfs, proof}
\begin{document}
\begin{prooftree}
\AxiomC{$A \vee B$}
    \AxiomC{[$A$]}
    \noLine
    \UnaryInfC{$C$}
        \AxiomC{[$B$]}
        \noLine
        \UnaryInfC{$C$}
\TrinaryInfC{$C$}
\end{prooftree}
\end{document}

答案1

你可以用以下方式伪造它:

\documentclass[a4paper,12pt,twoside,openright]{book}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage{amssymb,amsmath,bussproofs,mathrsfs}
\begin{document}
\begin{prooftree}
\AxiomC{$A \vee B$}
  \AxiomC{[$A$]}
  \noLine
  \UnaryInfC{$\vdots$}
  \noLine
  \UnaryInfC{$C$}
        \AxiomC{[$B$]}
        \noLine
        \UnaryInfC{$\vdots$}
        \noLine
        \UnaryInfC{$C$}
\TrinaryInfC{$C$}
\end{prooftree}
\end{document}

伪垂直放电

相关内容