查询结果
谓词变元
wèi cí biàn yuán
ㄨㄟˋ ㄘˊ ㄅㄧㄢˋ ㄩㄢˊ
「谓词变元」是什么意思？
更新 2026-07-11 00:02:24
- 拼音字母wei ci bian yuan
- 首字母wcby
- 注音符号ㄨㄟ ㄘ ㄅㄧㄢ ㄩㄢ
扩展释义
谓词变元指的是数理逻辑中表示某一范围内的任谓词。一般用符号F，G，H，···表示。引进谓词变元可以标志同异和表示形式结构。例如在谓词逻辑公式(Vx)(R(x)∧Q(x))→R(y)中，第一个R 和第一个R,是相同的谓词变元，它们虽不确定，但代表同谓词。而R和Q是两个不同的谓词变元通常是它们代表了不同的谓词，这就是标志问异的意思。
拆字组词
相关词语
- 与时推移查含义
- 云上的梦儿查含义
- 京黄芩查含义
- 住处查含义
- 印板查含义
- 吴海查含义
- 地域幽都查含义
- 和店乡查含义
- 善行无辙迹查含义
- 备案查含义
- 天池穴查含义
- 夏橡查含义
- 尤里卡气象站查含义
- 德曼查含义
- 张云侠查含义
- 忠义堂查含义
- 忠诚花苑查含义
- 恰卜恰布查含义
- 敷具查含义
- 施州查含义
- 星点弄蝶查含义
- 景增奇查含义
- 晁继勇查含义
- 网友查含义
- 曾莉查含义
- 束水查含义
- 泪腺神经查含义
- 澳洲黑帮查含义
- 特鲁查含义
- 碳电极查含义
- 白茬查含义
- 立定脚跟查含义
- 莽山后棱蛇查含义
- 菜鸟团查含义
- 草津温泉查含义
- 茶亭乡查含义
- 藏药查含义
- 过桥抽板查含义
- 证治准绳查含义
- 贝特加查含义
- 邓爱军查含义
- 附着实蕨查含义
- 阿恩海姆查含义
- 陈朝查含义
- 黑顶台龟甲查含义
- 麋竺查含义
- 鼍甲查含义
- 阿离公主查含义
- 魔法猫奇谭查含义
- 新庄运切查含义