Definition:Labeled Tree for Propositional Logic/Hypothesis Set

A hypothesis set is a countable set of WFFs of propositional calculus.

This set $$\mathbf{H}$$, in the context of propositional tableaus, is considered to be attached to the root node.

$$\mathbf{H}$$ is also called the set of premises.