Список логічних символів
У логіці, набір символів зазвичай використовується, щоб висловити логічне представлення. Слід пам'ятати, що, поза логікою, різні символи мають той же зміст, і той же символ має, в залежності від контексту, різні значення.
Базові логічні символи
Символ
|
Назва | Пояснення | Приклад | Unicode | HTML | LaTeX |
|---|---|---|---|---|---|---|
| Читати як | ||||||
| Kategorie | ||||||
| is defined as | ||||||
| everywhere | ||||||
( )
|
precedence grouping | Perform the operations inside the parentheses first. | (8 ÷ 4) ÷ 2 = 2 ÷ 2 = 1, but 8 ÷ (4 ÷ 2) = 8 ÷ 2 = 4. | U+0028 U+0029 | ( ) | ( ) |
| parentheses, brackets | ||||||
⊢
|
Турнікет | x ⊢ y означає y доказується від x (у деякій заданих формальних системах). | A → B ⊢ ¬B → ¬A | U+22A2 | ⊢ | \vdash |
| доказовий | ||||||
| Числення висловлень, Логіка першого порядку | ||||||
⊨
|
Подвійний турнікет | x ⊨ y означає x семантично тягне y | A → B ⊨ ¬B → ¬A | U+22A8 | ⊨ | \models |
| тягне за собою | ||||||
| Числення висловлень, Логіка першого порядку |
Див. також
Посилання
- Named character entities in HTML 4.0 (англ.)