什麼是自由變元

自由變元是在數學邏輯中，出現在公式或表達式中，但不受任何約束條件的變元。

自由變元與約束變元相對，約束變元是那些在量詞的轄域內出現並且受到該量詞約束的變元。自由變元可以在公式中任意取值，不受任何限制，它們可以在量詞的作用域中出現，但不受相應量詞中指導變元的約束，因此，可以將自由變元看作是公式中的參數。