謂詞變量

在一階邏輯中 ， 謂詞變量是表示 。 在一階邏輯 ( FOL ) 中它們可以被更合適的到叫做 " 元變量 " 。 在高階邏輯中謂詞變量對應於 " 命題變量 " ， 它可以表示同一個邏輯中的合式公式 ， 而這種變量可以被通過 謂詞字母集合 ， 要麼通過在其論域中實際上有自己特殊的意義的符號: 比如 。 如果字母用於謂詞常量又用於謂詞變量 ， 則必須有區分它們的方式 。 例如 ， 字母 W, X, Y, Z 可以被指定表示謂詞變量 ， 而字母 A, B, C, ..., U, V 可以表示謂詞常量 。 如果這些字母不夠 ， 則可以添加數字下標 ， 比如 X1, X2, X3, ... 但是 ， 如果謂詞變量被認知 。 “ 謂詞字母 ” 實際上是常量還是變量是個微妙的要點: 是謂詞常量 ， 而 是數值常量 ， 它們不是同樣意義的常量 。 另一種選擇是使用小寫希臘字母來表示這種元變量謂詞 。 那麼 ， 這種字母可以用來表示謂詞演算的全部合式公式: wff 的任何自由變量項都可以被合成爲希臘字母謂詞的項 。 這是建立高階邏輯的第一步 。 如果只允許 " 謂詞變量 " 被約束到零元數的謂詞字母 ， 這種字母實際上表示命題 ， 則這種變量實際上是命題變量 ， 允許用二階量詞約束這種命題變量的任何謂詞邏輯都是二階謂詞演算或二階邏輯 。 如果還允許謂詞變量被約束到是一元或更多元的謂詞字母 ， 這時這種字母表示命題函數 ， 使得參數的定義域被映射到不同命題的值域 ， 這時這種變量可以被量詞約束到這種命題的集合 ， 那麼結果就是高階謂詞演算或高階邏輯 。