中英▼
go top

universal quantifier

  • 全称量词：逻辑学中表示所有成员的量词，通常用于表示一个命题对于所有成员都成立。

网络释义专业释义英英释义

  [数] 全称量词

⑴全称量词(Universal Quantifier)：用字符“?x”表达，表示了该量词作用的辖域为个体域中“所有的个体x”或“每一个体x都”要遵从所约定的谓词关系。

基于724个网页-相关网页

  全称量化号

... generalization 普遍化；法则化；一般化；归纳；类化；条理化；概括化 universal quantifier 普遍定量词；普遍限量词；全称量化号 universality 普遍性；共通性；通用性 ...

基于8个网页-相关网页

短语

bounded universal quantifier [计] 有界全称量词

Allquantor universal quantifier 全称量词

The Universal Quantifier 全称量词

determiner universal quantifier 限定性全称量化词

elimination rule of universal quantifier 全称量词消除规则

universal l quantifier 全称量词

 更多收起网络短语
  • 全称量词 - 引用次数：2

    参考来源 - 中英全称和存在量词的辖域歧义问题的句法和语义分析
  • 全称量词
    全称量化号
    全称范域词
  • 全称量词
  • 全称量词

·2,447,543篇论文数据，部分数据来源于NoteExpress

universal quantifier

  • n. a logical quantifier of a proposition that asserts that the proposition is true for all members of a class of things

以上来源于: WordNet

 柯林斯英汉双解大词典 

universal quantifier

  • 1. 

    N a formal device indicating that the open sentence that follows is true of every member of the relevant universe of interpretation, as (∀x)(Fx→Gx) or (x)(Fx→Gx): literally, for everything, if it is an F it is a G; that is, all Fs are Gs 全称量词 (Usual symbol ∀) [logic]

双语例句

  • Data query for proposition with universal quantifier and data query for implication proposition are two categories of the most practical and difficult data queries.

    带有全称量词命题与蕴含命题的数据查询是数据库应用系统中最实用的两类查询，但也是最难的两种数据查询。

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定