existential quantifierの主な意味と例文
1名詞
意味 存在量化子
a term in logic stating that some or at least one thing meets a given condition
例文 The sentence 'There exists a number that is even and prime' uses an existential quantifier.
「偶数であり素数である数が存在する」という文は存在数量子を使っている。
In logic, 'some' is expressed as an existential quantifier.
論理学では、「いくつか」は存在数量子として表現される。
WordNetexistential quantifierと他の単語との繋がり
1名詞
意味 a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true
その命題を真とするものが少なくとも1つ存在することを主張する命題の論理量化子
同義語 上位語 - logical quantifier論理量化子
- quantifier量詞