約束變數

約束變數

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

目錄

句子


在合適公式中,感興趣的主要是所有變數都是受約束的。這樣的合適公式叫做句子。