TABLEAU EDITOR
Symbol
→
↔
∧
∨
¬
⊥
∀
∃
Next action
Extend branch
Split branch
Backtrack
Delete node
Enter truth value and formula
+
true
false
true
false
CANCEL
DONE
Enter left formula and truth value
+
true
false
true
false
Enter right formula and truth value
+
true
false
true
false
CANCEL
DONE
Define the problem: enter truth value and formula
+
true
false
CANCEL
DONE
Finished: open branch complete
--- select ---
Continue (edit)
Reset fields
Abandon current action
Help
×
Confirm: really done?
Yes
Ready to construct the tableau
No
More formulae to come