existential_operator

複数:

existential_operators

意味・定義

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 operator」は存在記号・存在作用素のこと。数学や論理学で「〜が存在する」ことを表す記号（∃）。「∃x」は「あるxが存在する」を意味する。全称記号（∀）と対をなす量化子の一つ。

The logical symbol (∃) meaning 'there exists.' Used in mathematics and logic to indicate that at least one element satisfies a given property. Written as '∃x' meaning 'there exists an x.' Paired with the universal quantifier (∀).

ライセンス: KeyLang Original

例文

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

In predicate logic, the existential operator is written as ∃.

述語論理では、存在記号は∃と書かれる。

The existential operator asserts that at least one solution exists.

存在記号は少なくとも1つの解が存在することを主張する。