查询结果
谓词变元
wèi cí biàn yuán
ㄨㄟˋ ㄘˊ ㄅㄧㄢˋ ㄩㄢˊ
「谓词变元」是什么意思?
更新 2026-07-11 21:26:16
- 拼音字母wei ci bian yuan
- 首字母wcby
- 注音符号ㄨㄟ ㄘ ㄅㄧㄢ ㄩㄢ
扩展释义
谓词变元指的是数理逻辑中表示某一范围内的任谓词。一般用符号F,G,H,···表示。引进谓词变元可以标志同异和表示形式结构。例如在谓词逻辑公式(Vx)(R(x)∧Q(x))→R(y)中,第一个R 和第一个R,是相同的谓词变元,它们虽不确定,但代表同谓词。而R和Q是两个不同的谓词变元通常是它们代表了不同的谓词,这就是标志问异的意思。
拆字组词
相关词语
- 仝斌查含义
- 关学礼查含义
- 农家乐园查含义
- 周文敏查含义
- 埃杜塞查含义
- 唐临晋帖查含义
- 喇叭唇石斛查含义
- 复方血藤药酒查含义
- 女性特征查含义
- 奥巴梅杨查含义
- 少花姜花查含义
- 平产查含义
- 岩梅目查含义
- 异色槭查含义
- 建国宾馆查含义
- 弥藏乐队查含义
- 拾味馆查含义
- 无线电网路查含义
- 晒太阳查含义
- 柳丁查含义
- 河南驼舞虻查含义
- 水位查含义
- 江湖五怪查含义
- 猿王洞查含义
- 硫酸吗啡查含义
- 白玉龙查含义
- 哪些查含义
- 红果参查含义
- 美人鱼学校查含义
- 翠微南里查含义
- 胡鹏程查含义
- 芎菊上清颗粒查含义
- 色彩转换查含义
- 蒜瓣儿查含义
- 裂突峭腹蛛查含义
- 谢荣查含义
- 赵绍波查含义
- 连带债务查含义
- 间歇运动机构查含义
- 阳和村查含义
- 高论查含义
- 鱼毒素查含义
- 黄华萍查含义
- 龙骨酸藤子查含义
- 宣德群岛查含义
- 加贺良介查含义
- 秋月孝雄查含义
- 崛田德男查含义
- 呼吸肌疲劳查含义
- 督监者查含义