= Syntax tree of a formula
= Formula syntax tree
{synonym}
The <syntax tree of a formula>[syntax tree] of a <logical formula> records its <structural induction>[recursive construction]. A <propositional variable> is a leaf, <negation> has one child, and <logical implication>[binary implication] has an <ordered pair> of children. A <subformula>[subformula occurrence] corresponds to a node together with the subtree rooted there. Different occurrences may have identical <logical formula>[formula strings].
Back to article page
