Logical System gentzen 11/4/2020 Under construction You'd want to check out the respective formation rules, to see what is a well formed formula, and what a variable, etc. Then the tree rules are:-
