fsymbols
記号を読み込み中…
››
∃

存在量化子

存在量化子

4/256

∃は、ある条件を満たすものが少なくとも1つあることを表します。数学や論理では、変数の値が条件を満たすことを示しますが、どの値かは特定しません。

テキスト記号

∃の意味

条件を満たす値が少なくとも1つあります。 ∃x P(x)では、xは値を入れるための記号で、P(x)はその条件を表します。この式は条件を満たす値があるかを問い、どの値かまでは示しません。

イタリアの数学者ジュゼッペ・ペアノは1897年、この逆向きのEを、クラス(集まり)に少なくとも1つの要素があることを示すために印刷しました。1889年に集合への所属(ある対象が集まりの一員であること)を示したイプシロン記号は別の記号で、∃の前身ではありません。その後、バートランド・ラッセルは現在の式と同じように、∃を変数に適用しました。

数学や論理で使う形式的な記号です。普段のメッセージでは、説明のない専門記号に見えることがあります。

∃は1つ以上を表します。「ちょうど1つ」には、さらに一意性の条件が必要です。

このコレクションに含まれます

〜と混同しないで

1

∃ を含むコレクション

1

∃の入力・検索方法

別名
逆さのE
次のように検索
存在記号 · 存在 · 量化子 · ∃ LaTeX
表示される場所
テキストを入力できる場所 · 形はフォントによって異なります
Windows (Word)
⎇Alt+X2203を入力してAltXを押すと∃になります。
Windows
⊞Win+Rcharmapで文字一覧を開くか、絵文字ピッカーのΩタブ(Win .)を使います。
macOS
⌃Control+⌘Command+␣Space文字ビューアを開き、「there exists」を検索します。
Linux
⎈Ctrl+⇧Shift+U2203を入力してEnterまたはSpaceを押します。
HTML
∃
CSS
\2203
LaTeX
数式モードでLaTeXコマンド \exists を使います。例:\exists x\,P(x)。
コードと文字コードコードポイント数:1
HTML 十進数
∃
HTML 十六進数
∃
CSS 内容
content: "\2203";
各エスケープは次のバックスラッシュで終わります。直後に十六進数字を文字として置く場合は空白が必要です。
URL エンコード
%E2%88%83
1
画面上
1
コードポイント
1
JS .length
3
UTF-8 バイト数

画面上の記号は複数のコードポイントを含む場合があります。JS .length は UTF-16 単位、UTF-8 はバイトを数えます。

この記号のグループ

1

数学と数字1,835個の記号