SBVR — Mapping SBVR logical formulation terms to formal logic terms

Clause 10.2 promises a formal mapping from the "logical formulation vocabulary" in clause 9.1.1 to the mathematical logic vocabulary presented in 10.1.2. But the content of clause 10.2 is empty. No such mapping is provided.

Note that several logical concepts defined in 9.1.1 (e.g. negation, conjunction, disjunction, equivalence) have no direct cognates in the vocabulary presented in 10.2. For these concepts, either 10.1.2 must be expanded to include the definitions, or the mapping table must specify the equivalent logical formula (wff) as a composition of implications.

Note further that Clause 10.2 defines many of its terms as elements of a grammar for a surface syntax (expression) for the logical concepts defined here and there in clause 10.1. Clause 9.1.1 appears to define an abstract syntax for the same purpose. There is no reason why these two grammars should not describe the same expressions.

Recommendation:

Provide the mapping, revising clause 9.1.1 and/or 10.1.2 as needed to align the grammars.

Resolved by the resolution of Issue 9959.