找到约 1 条结果（用时 0.03 秒）
词速通 - 汉语词语词典 › 词语 › 谓词变元
谓词变元指的是数理逻辑中表示某一范围内的任谓词。一般用符号F，G，H，···表示。引进谓词变元可以标志同异和表示形式结构。例如在谓词逻辑公式(Vx)(R(x)∧Q(x))→R(y)中，第一个R 和第一个R,是相同的谓词变元，它们虽不确定，但代表同谓词。而R和Q是两个不同的谓词变元通常是它们代表了不同的谓词，这就是标志问异的意思。 — 拼音 wèi cí biàn yuán，更新 2026-07-10 09:42:59
| 拼音 | wèi cí biàn yuán |
|---|---|
| 拼音字母 | wei ci bian yuan |
| 首字母 | wcby |
| 注音 | ㄨㄟˋ ㄘˊ ㄅㄧㄢˋ ㄩㄢˊ |
| 注音符号 | ㄨㄟ ㄘ ㄅㄧㄢ ㄩㄢ |