名词解释

【参考答案】

是断言一个语言变量的值或断言多个语言变量之间关系的陈述句