说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 全称题词化变元
1)  universally quantified variable
全称题词化变元
2)  universal quantifier
全称量词
1.
Taking three relations for example, applyin some relevant theories to discrete mathematics, this article converses the query of the universal quantifier problem into the query of equivalent existential quantifier, then to achieve it in SQL.
以三个关系为例,应用离散数学的有关理论,把具有全称量词的查询问题转换成等价的存在量词的直询问题,并用SQL语言予以实现
2.
Data query for proposition with universal quantifier and data query for implication proposition are two categories of the most practical and difficult data queries.
带有全称量词命题与蕴含命题的数据查询是数据库应用系统中最实用的两类查询,但也是最难的两种数据查询。
3.
However,they are not universal quantifiers per se as they do not require exhaustive inclusion.
但是它们不同于逻辑上的全称量词,只要求达到一定程度,不要求全部。
3)  universal proposition
全称命题
1.
How to undersdand the existence of universal proposition s subject;
怎样认识全称命题主项存在问题
2.
In fact,it is possible to exert conversion on O-proposition in conversion by contraposition inference which takes the premise by the universal proposition.
本文通过欧拉图我们可以证明以全称命题为前提的换质位法推理中O命题是能够换位的。
4)  existentially quantified variable
存在量词化变元
5)  the alternations of verbal argument
动词论元的变化
6)  determiner universal quantifier
限定性全称量化词
补充资料:个体变元


个体变元
individual variable

  个体变元[加‘帕面目怕血旋;,朋,a。皿翻。e一eMe.翻],对象变元(。坛时~ble) 形式语言(fon刀目lar卿坦罗)中的一种符号,用来表示由这种语言所描述的结构中的任意一个元素.每一种形式语言中都含有一类或几类个体变元,每一类个体变元都有无穷多个.例如,向量空间理论的语言中有两类个体变元,一类表示向量,一类表示标量,而算术理论的语言中只有一类变元,表示非负整数. C .K .Co6o朋B撰【补注】参见个体常且(indi访dual cons加叮t).沈复兴译
  
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条