对于形式化需求规约描述不正确的有()

对于形式化需求规约描述不正确的有()
A、它的编写基于良构数学概念的符号体系
B、它以半形式化符号体系来表达需求规约
C、一般伴有解释性注释的支持
D、定义了一组支持逻辑推理的证明规则
【正确答案】：B
【题目解析】：选项B是对于半形式化需求规约的描述。