變數在邏輯公式中的出現,且該出現不在量詞的作用域內。
更多嘗試
Weisstein, Eric W. “自由變數。” 來自 Web 資源。 https://mathworld.tw/FreeVariable.html