![使用 busproof 封装进行推理后的公式](https://linux22.com/image/321183/%E4%BD%BF%E7%94%A8%20busproof%20%E5%B0%81%E8%A3%85%E8%BF%9B%E8%A1%8C%E6%8E%A8%E7%90%86%E5%90%8E%E7%9A%84%E5%85%AC%E5%BC%8F.png)
我尝试过
\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}
但它不起作用:最后一个公式出现在推理之前。
答案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}
答案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}