創建詞條
登錄/註冊
約束變數
約束變數
量化一個合適公式中的某個變數所得到的表達式也是合適公式。如果一個合適公式中某個變數是經過量化的,就把這個變數叫做約束變數,否則就叫它為自由變數。
目錄
1
句子
句子
在合適公式中,感興趣的主要是所有變數都是受約束的。這樣的合適公式叫做句子。
基本信息
定義
合式公式中某個變數經過量化
應用領域
數理邏輯和計算機科學
目錄
目錄