填空题 B 1 refers to the relation between a quantifier and a variable, that is, a variable is bound by a quantifier.
  • 1、
【正确答案】 1、正确答案：Binding    
【答案解析】解析：考查约束的概念。这个概念来自于逻辑学，指量词和变项之间的关系，即变项受到量词的约束。