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.

An element of $\mathbf H$ is known as a hypothesis WFF.