Список логічних символів: відмінності між версіями
Перейти до навігації
Перейти до пошуку
[неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
Немає опису редагування |
Немає опису редагування |
||
Рядок 51: | Рядок 51: | ||
{{Logic}} |
{{Logic}} |
||
[[Категорія:Математика]] |
|||
[[Category:Mathematical notation|*]] |
|||
[[Category:Logic symbols| ]] |
Версія за 12:59, 6 квітня 2014
У логіці, набір символів зазвичай використовується, щоб висловити логічне представлення. Слід пам'ятати, що, поза логікою, різні символи мають той же зміст, і той же символ має, в залежності від контексту, різні значення.
Basic logic symbols
Символ
|
Назва | Пояснення | Приклад | Unicode | HTML | LaTeX |
---|---|---|---|---|---|---|
Читати як | ||||||
Kategorie | ||||||
⊢
|
Турнікет | x ⊢ y означає y доказується від x (у деякій заданих формальних системах). | A → B ⊢ ¬B → ¬A | U+22A2 | ⊢ | \vdash |
доказовий | ||||||
propositional logic, first-order logic | ||||||
⊨
|
подвійний турнікет | x ⊨ y означає x семантично тягне y | A → B ⊨ ¬B → ¬A | U+22A8 | ⊨ | \models |
тягне за собою | ||||||
propositional logic, first-order logic |
Див. також
Посилання
- Named character entities in HTML 4.0