複製鏈接
請複製以下鏈接發送給好友
https://baike.baidu.hk/item/謂詞變元/22469240
複製
複製成功

謂詞變元

鎖定
謂詞變元指的是數理邏輯中表示某一範圍內的任謂詞。一般用符號F，G，H，···表示。引進謂詞變元可以標誌同異和表示形式結構。例如在謂詞邏輯公式(Vx)(R(x)∧Q(x))→R(y)中，第一個R 和第一個R,是相同的謂詞變元，它們雖不確定，但代表同謂詞。而R和Q是兩個不同的謂詞變元通常是它們代表了不同的謂詞，這就是標誌問異的意思。 [1] 
中文名
謂詞變元
出    處
《哲學大辭典》
例如在謂詞邏輯公式(Vx)(R(x)∧Q(x))→R(y)中，第一個R和第一個R是相同的謂詞變元，它們雖不確定，但代表同謂詞。而R和Q是兩個不同的謂詞變元通常是它們代表了不同的謂詞，這就是標誌同異的意思。此外，謂詞變元的引入n以表示形式結構，如n元謂詞的形式可以寫成R(x，······，xn)。
參考資料
  • 1.    金炳華．哲學大辭典：上海辭書出版社，2007