Список логічних символів
У логіці, набір символів зазвичай використовується, щоб висловити логічне представлення. Слід пам'ятати, що, поза логікою, різні символи мають той же зміст, і той же символ має, в залежності від контексту, різні значення.
Базові логічні символи
Символ
|
Назва | Пояснення | Приклад | 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 (англ.)