Begin Your Proof
Enter the formula you wish to prove. The tree grows upward from this root.
— or generate a provable formula —
SYNTAX GUIDE
| /\ or \and | ∧ | conjunction |
| \/ or \or | ∨ | disjunction |
| -> or \to | → | implication |
| ~ or \neg | ¬ | negation |
| _|_ or \bot | ⊥ | falsum |
| ( ) | grouping |