A declaration that is

either true or false,

so Boolean-valued.

By the number of logical connectives, either

atomic or molecular.

(Levin 2021, sec. 0.2; Poole and Mackworth 2017, sec. 5.1.1)

Referenced by a propositional variable.

---

• Synonyms