Is it possible to overlap the center of the node containing the first premiss of proof trees like the ones in the MWE with the vertical center of the page?
Here is the MWE:
\documentclass[openany,oneside,a4paper,11pt]{memoir}
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage[linguistics]{forest}
\usepackage[tableaux]{prooftrees}
\begin{document}
\begin{center}
\begin{tableau}
{}
[\forall x(Fx \rightarrow Bx),just={premiss}
[Fa,just={premiss}
[\lnot Ba, just={negated the conclusion}
[Fa \rightarrow Ba, just={1 $ \forall $}
[\lnot Fa, just={4 $ \rightarrow $}, close]
[Ba, close]
]
]
]
]
\end{tableau}
\end{center}
\begin{center}
\begin{tableau}% Adepted from Peter Smith's "LATEX for logicians: Setting tableaux using prooftrees.sty"
{
line no sep= 1.5cm,
just sep= 1.5cm,
for tree={s sep'=10mm},
just refs right, % Set where crossreferences go
}
[((P \land Q) \rightarrow R), just={Premiss}, name=Prem
[\neg(P \rightarrow (Q \rightarrow R)), just={Negated conclusion}, name=NegConc
[P, just={From: NegConc}
[\neg(Q \rightarrow R), just={From: NegConc},name=Alice
[Q, just={From: Alice}
[\neg R, s sep=30mm, just={From: Alice}
[\neg(P \land Q), just={Alternatives from: Prem},name=Bertie
[\neg P, close, just={Alternatives from: Bertie}
]
[\neg Q, close
]
]
[R, close]
]
]
]
]
]
]
\end{tableau}
\end{center}
\end{document}
to prove
? For what it is worth, I think this is a bad idea as the numbers of proofs will not be aligned with each other. (But you are centring them anyway, so maybe you're not worried about that.)xcoffins
manual uses this kind of terminology and I never get it the right way around.