existential_quantifier

複数:

existential_quantifiers

意味・定義

2つの辞書から2件の定義

日本語WordNet

1件

名詞

1存在記号

a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true

ライセンス: BSD-style License

AIによる解説

1件

1「existential quantifier」は存在量化子・存在記号のこと。記号論理学で「少なくとも一つ存在する」ことを表す論理記号（∃）。「∃x P(x)」は「P(x)を満たすxが存在する」を意味する。全称量化子（∀）と対になる。

A logical symbol (∃) indicating 'there exists at least one.' In symbolic logic, '∃x P(x)' means 'there exists an x such that P(x) is true.' Complements the universal quantifier (∀), which means 'for all.'

ライセンス: KeyLang Original

例文

この単語を含む例文でタイピング練習ができます

The existential quantifier ∃ means 'there exists.'

存在量化子∃は「存在する」を意味する。

Using the existential quantifier, we can express that a solution exists.

存在量化子を使って、解が存在することを表現できる。