謂詞變元

謂詞變元指的是數理邏輯中表示某一範圍內的任謂詞。一般用符號F，G，H，···表示。引進謂詞變元可以標誌同異和表示形式結構。例如在謂詞邏輯公式(Vx)(R(x)∧Q(x))→R(y)中，第一個R 和第一個R,是相同的謂詞變元，它們雖不確定，但代表同謂詞。而R和Q是兩個不同的謂詞變元通常是它們代表了不同的謂詞，這就是標誌問異的意思。

例如在謂詞邏輯公式(Vx)(R(x)∧Q(x))→R(y)中，第一個R和第一個R是相同的謂詞變元，它們雖不確定，但代表同謂詞。而R和Q是兩個不同的謂詞變元通常是它們代表了不同的謂詞，這就是標誌同異的意思。此外，謂詞變元的引入n以表示形式結構，如n元謂詞的形式可以寫成R(x，······，x_n)。