約束變數

量化一個合適公式中的某個變數所得到的表達式也是合適公式。如果一個合適公式中某個變數是經過量化的，就把這個變數叫做約束變數，否則就叫它為自由變數。