释
谓词变元
wèi cí biàn yuán · ㄨㄟˋ ㄘˊ ㄅㄧㄢˋ ㄩㄢˊ
修撰于 2026-06-30 05:00:25
音义
| 拼音 | 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是两个不同的谓词变元通常是它们代表了不同的谓词，这就是标志问异的意思。
组词
相关
友情链接
抓书网
短词网
书号查询
星云网
汉中职业技术学院是什么意思？
兰山乡天气是什么意思？
找总结网是什么意思？
lán lóng jiā yuán蓝龙家园是什么意思？
观音灵签第35签是什么意思？
学习经验分享演讲稿是什么意思？
JS代码混合加密是什么意思？
南宁天气是什么意思？
lóng鏧是什么意思？
kua是什么意思？
实习报告模板精选是什么意思？
列字组词是什么意思？
西藏民族大学学报·哲学社会科学版 CSSCI南大期刊 人气指数：3669 主管单是什么意思？
kǎo wù tōng考务通是什么意思？
2025运势是什么意思？
[精选教案] 大班美术教案大苹果教案反思是什么意思？