⊦の意味
判断を断定として示します。 後に続く式は真であるものとして提示されますが、この記号だけで証明されたことにはなりません。
フレーゲの断定記号は、論理の形式的な記法を示した著作 Begriffsschrift に1879年に初めて登場しました。横線が内容を示し、縦線がそれを判断する行為を示しました。
後の論理記法では、証明可能性と意味論的帰結を関連するターンスタイル記号で区別します。
形式論理で使われる専門的な記号です。
やに置き換える前に、その体系の定義を確認してください。
〜と混同しないで
2
似たもの
10
⊦の入力・検索方法
- 別名
- フレーゲの断定記号
- 次のように検索
- ⊦の意味 · ターンスタイル記法 · ⊦と⊢の違い · LaTeX \assert
- 表示される場所
- テキストを入力できる場所 · 形はフォントによって異なります
Windows (Word)
Windows
HTML
⊦CSS
\22A6Unicode入力
有効になっていれば、OSのUnicode 16進入力でU22A6を入力します。
LaTeX (STIX Two)
stix2を読み込み、数式モードで\assertを使います。コードと文字コードコードポイント数：1
HTML 十進数
⊦
HTML 十六進数
⊦
CSS 内容
content: "\22A6";
各エスケープは次のバックスラッシュで終わります。直後に十六進数字を文字として置く場合は空白が必要です。
URL エンコード
%E2%8A%A6
1
画面上
1
コードポイント
1
JS .length
3
UTF-8 バイト数
画面上の記号は複数のコードポイントを含む場合があります。JS .length は UTF-16 単位、UTF-8 はバイトを数えます。