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
ある事物のクラスのすべての要素に対してその命題が真であることを主張する命題の論理量化子
上位語