存在量词化变元英文解释翻译、存在量词化变元的近义词、反义词、例句
英语翻译:
【计】 existentially quantified variable
分词翻译:
存的英语翻译:
accumulate; deposit; exist; keep; live在的英语翻译:
be; depend on; exist; at; in【计】 plot on X axis; search in
量词的英语翻译:
measure word【计】 quantifier
化的英语翻译:
burn up; change; convert; melt; spend; turn变的英语翻译:
become; change【医】 meta-; pecilo-; poecil-; poikilo-
元的英语翻译:
basic; buck; chief; dollar; first; Yuan【经】 dollar; yuan
网络扩展解释
存在量词化变元
存在量词化变元是一种数理逻辑中的概念,用于描述命题中的量词和变元之间的关系。
中文拼音
cún zài liàng cí huà biàn yuán
英语解释翻译
Existential quantification of variables
英文读音
ˌeɡ.zɪsˈten.ʃəl ˌkwɑːn.tə.faɪˈkeɪ.ʃən əv ˈvɛr.i.ə.bəlz
英文的用法(中文解释)
存在量词化变元用于表示在某些情况下,命题中的变元存在一定的范围,而不是无限制的。在逻辑形式中,这通常表示为∃x(P(x)), 其中∃是存在量词,P(x)是带有变元x的命题。
英文例句(包含中文解释)
-
There is a number between 1 and 2.
一和二之间存在一个数字。
-
Some cats are black.
有些猫是黑色的。
英文近义词(包含中文解释)
-
Existential quantification
存在量词化
-
Existential instantiation
存在实例化
英文反义词(包含中文解释)
-
Universal quantification
全称量词化
-
Negation
否定
英文单词常用度
根据Google Books Ngram Viewer统计,存在量词化变元这个词汇的使用频率从20世纪50年代开始逐渐上升,目前在学术文献中有一定的使用。