名词解释

【参考答案】

在关系演算运算符中,若在公式中的一个变量前没有“全称∀”或“存在∃”量词,称为自由变量。