∄の意味
続く条件を満たす値は一つも存在しません。
（「存在する」）に、否定を表す斜線を加えた記号です。∄x P(x)は「P(x)が成り立つようなxは存在しない」と読みます。xは候補となる値、P(x)は調べる条件です。専門的には存在量化子の否定といい、対象となる値のどれも条件を満たさないことを表します。古典論理ではx P(x)やx P(x)と同じ意味です。は「〜でない」、は「すべての〜について」を表します。
例えば∄x ℝ (x² 1)は、「2乗すると1になる実数xは存在しない」という意味です。 ℝはxを実数、つまり通常の数直線上の数に限定しています。この範囲指定が重要です。i² 1となるiを含む複素数の範囲なら、この方程式には解があります。
命題、定義、証明で使う、数学の形式的な記法です。
「一つも満たさない」と「すべてが満たすわけではない」は異なります。
このコレクションに含まれます
〜と混同しないで
2
知っておくとよいこと
- 斜線のないには先行する歴史があり、ペアノが1896年に使っています。その後ラッセルは、1910〜1913年刊行の『プリンキピア・マテマティカ』で変数を束縛する記号として用いました。
似たもの
9
∄の入力・検索方法
- 次のように検索
- nexists · 存在記号の否定 · 斜線付き存在記号 · 存在量化子の否定 · 解なし 記号
- 表示される場所
- テキストを入力できる場所 · 形はフォントによって異なります
コードと文字コードコードポイント数：1
HTML 十進数
∄
HTML 十六進数
∄
CSS 内容
content: "\2204";
各エスケープは次のバックスラッシュで終わります。直後に十六進数字を文字として置く場合は空白が必要です。
URL エンコード
%E2%88%84
1
画面上
1
コードポイント
1
JS .length
3
UTF-8 バイト数
画面上の記号は複数のコードポイントを含む場合があります。JS .length は UTF-16 単位、UTF-8 はバイトを数えます。