Що означає ⊦
Читайте як «стверджується, що». У простому прикладі ⊦ P висловлювання, позначене літерою P, стверджують як істинне. Знак відрізняє простий розгляд висловлювання від визнання його істинним.
Німецький логік Ґотлоб Фреге запровадив свій знак твердження в книжці Begriffsschrift 1879 року. Горизонтальна риска подавала зміст, який належало оцінити, а вертикальна позначала судження про його істинність. Разом вони робили цю відмінність видимою.
Згодом споріднені знаки отримали різні функції: зазвичай позначає те, що можна вивести за правилами доведення, а — те, що обов’язково істинне, коли істинні початкові припущення. Це різні символи, тому зберігайте знак, ужитий у тексті.
Спеціальна нотація формальної логіки та її історії.
Стверджувати істинність висловлювання — не те саме, що довести його.
Входить до добірок
Не плутайте з
2
Запитання користувачів
1Чи може ⊦ також означати «зводиться до»?
Так. Довідники символів подають і таке значення. Якщо текст використовує цю домовленість, дотримуйтеся його визначення, а не читайте знак як позначення твердження.
Схожі символи
10
Як набрати чи знайти ⊦
- Також називають
- знак асерції · знак твердження Фреге
- Шукайте як
- ⊦ значення · знак Фреге · ⊦ і ⊢ різниця · LaTeX \assert
- Використовується в
- У будь-якому текстовому полі · його вигляд залежить від шрифту
⊦\22A6Коди й кодуванняКодових точок: 1
Видимий символ може містити кілька кодових точок. JS .length рахує одиниці UTF-16, а UTF-8 — байти.