Logische uitdrukking die al dan niet waar is.
Propositielogica, zie calculus, proposition.