使用 busproof 封装进行推理后的公式

Question

是否可以使用 bussproof 获得如图所示的公式？

我尝试过

\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} \begin{document} \begin{prooftree} $\mathscr{F} \cup \{\textbf{B}A \wedge (\neg \textbf{B}\neg C) \rightarrow D:$ \AxiomC{$A:C$} \UnaryInfC{$D$} $\in \mathscr{D}$ \end{prooftree} \end{document}

但它不起作用：最后一个公式出现在推理之前。

Answer 1

使用内联输入\DisplayProof：

\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}
\begin{document}
$\mathscr{F} \cup \{\textbf{B}A \wedge (\neg \textbf{B}\neg C) \rightarrow D:\AxiomC{$A:C$}\UnaryInfC{$D$}\DisplayProof\in \mathscr{D}$ 
\end{document}

Answer 2

谢谢...为了让公式不内联而是显示出来，我使用了 $$ \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} \begin{document} Lorem ipsum dolor sit amet, consectetur adipisci elit, sed eiusmod tempor incidunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, $$\mathscr{F} \cup \{\textbf{B}A \wedge (\neg \textbf{B}\neg C) \rightarrow D:\AxiomC{$A:C$}\UnaryInfC{$D$}\DisplayProof\in \mathscr{D}$$ Lorem ipsum dolor sit amet, consectetur adipisci elit, sed eiusmod tempor incidunt ut labore et dolore magna aliqua. Ut enim ad minim veniam. \end{document}