Don't know how to \(\LaTeX\) proof trees? Too lazy to learn? Look no further!
Your \(\LaTeX\) code will appear below:
LaTeX code will appear here
And your proof tree will be generated live below!
This proof tree generator was designed with CMU's 15-317 Constructive Logic in mind. That being said, everything's pretty general-purpose, so go nuts if you want!
The generator uses bussproofs.sty for generating the proof tree. You can see the documentation here
A proof tree component is a conclusion, rule, and a list of premises. Next to each component are three dots - clicking them will produce a dropdown menu where you'll find options for manipulating the structure of the proof tree. Should be pretty straightforward :)
Use these within the proof tree generator! Note that some of these commands only work with the provided stylesheet (see "How To Use")
Symbol/Judgement |
Code |
---|---|
\(\top\) | \ltrue |
\(\bot\) | \lfalse |
\(\lor\) | \lor |
\(\supset\) | \limplies |
\(\neg\) | \neg |
\(\Longrightarrow\) | \seq |
\(\longrightarrow\) | \sq |
\(\ true\) | \jtrue |
\(\uparrow\) | \up |
\(\downarrow\) | \down |