A declaration that is

either true or false,

so Boolean-valued.

By the number of logical connectives, either

atomic or molecular.

[1, Sec. 0.2], [2, Sec. 5.1.1]

Referenced by a propositional variable.

---