The Subformula tree.
We define an operation taking a formula and returning a tree-like representation of its subformulas.
Tree operators.
Making a two-level label for vertices of a tree.
Hightlightening a branch of the tree.
Printing the Subformula tree.
Some examples of subformula trees.
Created by Mathematica (October 17, 2006)