Список логічних символів
У логіці, набір символів зазвичай використовується, щоб висловити логічне представлення. Слід пам'ятати, що, поза логікою, різні символи мають той же зміст, і той же символ має, в залежності від контексту, різні значення.
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 |
Дивитись також
- List of mathematical symbols
- Logic alphabet, a suggested set of logical symbols
- Logical connective
- Mathematical operators and symbols in Unicode
- Polish notation
Notes
External links
- Named character entities in HTML 4.0