Help/Background

Tree Proof Generator

v2.09 (2015-03-04)
 

Enter a formula of propositional or predicate logic (without identity). Use LaTeX commands or the buttons on top of the text field to insert logical symbols.

Examples (click to see the proof):

More detailed instructions and explanations are available here.