☰

使用公理标签进行总线防护

tag-icon • tag-icon labels bussproofs
使用公理标签进行总线防护

我如何将\LeftLabel{}and\RightLabel{}与 just 一起使用\AxiomC{}？

以下仅显示公理

\documentclass[14pt]{extarticle}

\usepackage[english]{babel}
\usepackage[utf8x]{inputenc}
\usepackage{amsmath}
\usepackage{bussproofs}

\begin{document}
    \begin{prooftree}
        \LeftLabel{bar}
        \RightLabel{baz}
        \AxiomC{foo}
    \end{prooftree}
\end{document}

答案1

该包bussproofs需要interference一行（包的术语），该行是用 -- 生成的，只有在使用之后才会显示和\UnaryInfC{some content}的标签。\RightLabel\LeftLabel

\documentclass[14pt]{extarticle}

\usepackage[english]{babel}
\usepackage[utf8x]{inputenc}
\usepackage{amsmath}
\usepackage{bussproofs}

\begin{document}
    \begin{prooftree}
        \AxiomC{foo}
        \LeftLabel{bar}
        \RightLabel{baz}
        \UnaryInfC{Yo!}
        \singleLine
    \end{prooftree}
\end{document}

在此处输入图片描述

答案2

我不认为裸公理可以算作有效的证明树。我认为你会想要类似

\documentclass[14pt]{extarticle}

\usepackage[english]{babel}
\usepackage[utf8x]{inputenc}
\usepackage{amsmath}
\usepackage{bussproofs}

\begin{document}
    \begin{prooftree}
        \AxiomC{}
        \LeftLabel{bar}
        \RightLabel{baz}
        \UnaryInfC{foo}
    \end{prooftree}
\end{document}

PDF 文档建议标签用于推理线，而不是裸公理，因此如果没有推理，就不会有任何标签。

相关内容