diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/bussproofs/testbp2.tex')
-rw-r--r-- | Master/texmf-dist/doc/latex/bussproofs/testbp2.tex | 62 |
1 files changed, 62 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/bussproofs/testbp2.tex b/Master/texmf-dist/doc/latex/bussproofs/testbp2.tex index 8bbdef5375a..3dd30d98bd5 100644 --- a/Master/texmf-dist/doc/latex/bussproofs/testbp2.tex +++ b/Master/texmf-dist/doc/latex/bussproofs/testbp2.tex @@ -235,6 +235,68 @@ Another upside-down example, from Alex Hertel: \bigskip + +\alwaysRootAtBottom +Testing of quaternary and quinary inferences (a bit scrunched due a use of +\verb+\insertBetweenHyps+): +\begin{prooftree} +\insertBetweenHyps{\hskip-1em} +\AxiomC{$A^B$} +\Axiom$A_B\fCenter A_{B_C}$ +\Axiom$A^B\fCenter A^{B^C}$ +\Axiom$A^{B^C}\fCenter A^{B^{C^D}}$ +\Axiom$A^{B^{C^D}}\fCenter A^{B^{C^{D^E}}}A^{B^{C^{D^E}}}$ +\QuinaryInf$X\fCenter XXXXX$ +\UnaryInf$YYYY\fCenter Y$ +\insertBetweenHyps{\hskip-1em} +\Axiom$A^B\fCenter A^{B^C}$ +\Axiom$A^{B^C}\fCenter A^{B^{C^D}}$ +\Axiom$A^{B^{C^D}}\fCenter A^{B^{C^{D^E}}}A^{B^{C^{D^E}}}$ +\QuaternaryInf$X\fCenter XXXXX$ +\UnaryInf$YYYY\fCenter Y$ +\end{prooftree} + +\alwaysRootAtTop +Testing of quaternary and quinary inferences (a bit scrunched due a use of +\verb+\insertBetweenHyps+): +\begin{prooftree} +\insertBetweenHyps{\hskip-1em} +\AxiomC{$A^B$} +\Axiom$A_B\fCenter A_{B_C}$ +\Axiom$A^B\fCenter A^{B^C}$ +\Axiom$A^{B^C}\fCenter A^{B^{C^D}}$ +\Axiom$A^{B^{C^D}}\fCenter A^{B^{C^{D^E}}}A^{B^{C^{D^E}}}$ +\QuinaryInf$X\fCenter XXXXX$ +\UnaryInf$YYYY\fCenter Y$ +\insertBetweenHyps{\hskip-1em} +\Axiom$A^B\fCenter A^{B^C}$ +\Axiom$A^{B^C}\fCenter A^{B^{C^D}}$ +\Axiom$A^{B^{C^D}}\fCenter A^{B^{C^{D^E}}}A^{B^{C^{D^E}}}$ +\QuaternaryInf$X\fCenter XXXXX$ +\UnaryInf$YYYY\fCenter Y$ +\end{prooftree} + +\begin{prooftree} +\insertBetweenHyps{\hskip-1em} +\Axiom$A^B\fCenter A^{B^C}$ +\Axiom$A^{B^C}\fCenter A^{B^{C^D}}$ +\Axiom$A^{B^{C^D}}\fCenter A^{B^{C^{D^E}}}A^{B^{C^{D^E}}}$ +\TrinaryInf$X\fCenter XXXXX$ +\end{prooftree} + +\newenvironment{proof}{\begin{trivlist}\item[]{\bf Proof\ }}% +{\end{trivlist}} +\newenvironment{proofX}{\noindent{\bf Proof\ }}% +{} + +\begin{proofX} +\begin{prooftree} +\Axiom$A^{B^C}\fCenter A^{B^{C^D}}$ +\Axiom$A^{B^{C^D}}\fCenter A^{B^{C^{D^E}}}A^{B^{C^{D^E}}}$ +\BinaryInf$X\fCenter XXXXX$ +\end{prooftree} +\end{proofX} + \newbox\gnBoxA \newdimen\gnCornerHgt \setbox\gnBoxA=\hbox{$\ulcorner$} |