SBVR — Define ‘true’ and ‘false’

SBVR talks a great deal about propositions and particular types of propositions, such as facts and rules, but never defines what it means for a proposition to be true or false. Understanding these characteristics of propositions is essential to understanding semantic formulations and other parts of SBVR.

Recommendation:

In section 8.1.2, page 19, add the following entries after the entry for ‘proposition’.

proposition is true

Definition: the proposition corresponds to an actuality

proposition is false

Definition: the proposition does not correspond to an actuality

see above