语林词典 - 汉语词语大全 聊天词典

请问「谓词变元」是什么意思?

2026-07-10 05:28:43

「谓词变元」读音

拼音 wèi cí biàn yuán,注音 ㄨㄟˋ ㄘˊ ㄅㄧㄢˋ ㄩㄢˊ

拼音字母wei ci bian yuan
拼音首字母wcby
注音符号ㄨㄟ ㄘ ㄅㄧㄢ ㄩㄢ
注音首符号ㄨㄘㄅㄩ

「谓词变元」释义

扩展释义 谓词变元指的是数理逻辑中表示某一范围内的任谓词。一般用符号F,G,H,···表示。引进谓词变元可以标志同异和表示形式结构。例如在谓词逻辑公式(Vx)(R(x)∧Q(x))→R(y)中,第一个R 和第一个R,是相同的谓词变元,它们虽不确定,但代表同谓词。而R和Q是两个不同的谓词变元通常是它们代表了不同的谓词,这就是标志问异的意思。

推荐