LaTeXで証明木を書く

証明木をflag notationで書く

普通の証明木(?)を書く方法はネットに情報が転がっているのですが、flag記法で書く方法はどうにも情報がない…と思っていたらついに見つけました。

CTAN: Package flagderiv

PDFはこちら。

http://ftp://ftp.u-aizu.ac.jp/pub/tex/CTAN/macros/latex/contrib/flagderiv/flagderiv.pdf

普通のproof treeは bussproofs が良さげです。 このページにいろいろ載ってました。

3. Natural deduction proofs | Logic Matters

広告を非表示にする