Definition:Labeled Tree for Propositional Logic/Hypothesis Set

Definition
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.