自由變數

在數學和其他涉及形式語言的學科中，包括數理邏輯和計算機科學，自由變數是在表達式中用於表示一個位置或一些位置的符號，某些明確的代換可以在其中發生，或某些運算(比如總和或量化)可以在其上發生。這個概念有關於佔位符(它是以後會被文字串所替換)，或表示未指定符號的通配符，但更加深入和複雜。