⊬の意味
いいえ。導出可能性を示す記号で、真偽そのものではありません。
P ⊬ Qでは、Pが前提、Qが結論です。この記号は構文的帰結を否定します。一方、P Qは、あるモデル（数学的な解釈）でPが真、Qが偽になることを意味します。
1879年にゴットロープ・フレーゲが発表した『概念記法』は、二次元の論理表記で、このターンスタイルの祖先となる記号を含んでいました。意味は後に変化し、多くの証明体系ではが導出可能性を表し、⊬はその否定を表します。
形式論理で使う、技術的で中立的な記号です。
この記号だけでQが偽だとは言えません。
〜と混同しないで
1
関連する文字
1
似たもの
11
⊬の入力・検索方法
- 次のように検索
- nvdash · 証明できない 記号 · 論理の証明記号 · 構文的帰結
- 表示される場所
- テキストを入力できる場所 · 形はフォントによって異なります
コードと文字コードコードポイント数：1
HTML 十進数
⊬
HTML 十六進数
⊬
CSS 内容
content: "\22AC";
各エスケープは次のバックスラッシュで終わります。直後に十六進数字を文字として置く場合は空白が必要です。
URL エンコード
%E2%8A%AC
1
画面上
1
コードポイント
1
JS .length
3
UTF-8 バイト数
画面上の記号は複数のコードポイントを含む場合があります。JS .length は UTF-16 単位、UTF-8 はバイトを数えます。