Statement

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