Labeled Formula

A formula $A$ can be labeled when it exists as a pair $A^{\alpha }$ if $\alpha$ is either a true or false value.

We can also have a set of formulas, then we can use: ${\mathbf{\Phi }}^{\alpha }:=\left\{A^{\alpha }\mid A\in \mathbf{\Phi }\right\}$