約束變元和轄域怎麼區分

約束變元一種變元.指在一個公式中約束出現的變元.約束變元的一個重要特徵是，儘管它們的取值不定，但如果其所在公式沒有自由變元，這個公式的真值是確定的。

轄域是現代邏輯學的概念，係指各種邏輯運算元（如命題 連線詞、量詞、模態詞等）的作用範圍。

全稱量詞的轄域是P(x)Q(x)，存在量詞的轄域是R(x)。 前三個x是約束變元，受全稱量詞所轄。 中間兩個x是約束變元，受存在量詞所轄。 最後一個是x是自由變元。