existential quantifierの語源
この単語の語源は掲載準備中です。
掲載についてはEnglishBattle公式X で更新情報を発信しています。
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.
論理学では、「いくつか」は存在数量子として表現される。
existential quantifierのWordNet
- 1名詞
意味 存在記号
a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true
命題が真である少なくとも一つの対象の存在を主張する論理的量化子
和訳例 - 存在記号
- 存在量化子
- 存在性量化子
同義語 - existential quantifier
- existential operator
上位語 (logic) a word (such as `some' or `all' or `no') that binds the variables in a logical proposition
（論理学）論理命題の変数を結びつける語（例：「いくつか」や「すべて」や「ない」など）
