universal quantifierの語源
この単語の語源は掲載準備中です。
掲載についてはEnglishBattle公式X で更新情報を発信しています。
universal quantifierの主な意味と例文
- 1名詞
意味 - すべての要素の量詞
- 普遍量化子
- 全称記号
a quantifier that refers to all members of a given set
例文 In logic, 'for all' is a universal quantifier.
論理学では、「すべて」は普遍量化子です。
The statement 'all humans are mortal' uses a universal quantifier.
「すべての人間は死すべき存在である」という文は普遍量化子を使用しています。
universal quantifierのWordNet
- 1名詞
意味 全称量化子
a logical quantifier of a proposition that asserts that the proposition is true for all members of a class of things
ある命題において、その命題があるクラスの全てのメンバーに当てはまるとする論理的な量化子
和訳例 - 全称量化子
- 普遍量化子
- 全称子
同義語 - universal quantifier
上位語 (grammar) a word that expresses a quantity (as `fifteen' or `many')
（文法）数量を表す語（例：「15」または「多い」）
