Список логічних символів: відмінності між версіями
Перейти до навігації
Перейти до пошуку
| [неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
Немає опису редагування |
Немає опису редагування |
||
| Рядок 16: | Рядок 16: | ||
|- bgcolor=#a0e0a0 |
|- bgcolor=#a0e0a0 |
||
!align=right|Category |
!align=right|Category |
||
|- |
|||
|align=center|is defined as |
|||
|- |
|||
|align=right|everywhere |
|||
|- |
|||
| rowspan="3" bgcolor=#d0f0d0 align=center|<div style="font-size:200%;">( )</div> |
|||
| precedence grouping |
|||
| rowspan="3" | Perform the operations inside the parentheses first. |
|||
| rowspan="3" |(8 ÷ 4) ÷ 2 = 2 ÷ 2 = 1, but 8 ÷ (4 ÷ 2) = 8 ÷ 2 = 4. |
|||
! rowspan="3" | U+0028 U+0029 |
|||
! rowspan="3" |( ) |
|||
! rowspan="3" | <math>(~)</math> ( ) |
|||
|- |
|||
|align=center|parentheses, brackets |
|||
|- |
|- |
||
| rowspan=3 bgcolor=#d0f0d0 align=center| <div style="font-size:200%;">{{Unicode|⊢}}</div> |
| rowspan=3 bgcolor=#d0f0d0 align=center| <div style="font-size:200%;">{{Unicode|⊢}}</div> |
||
Версія за 13:41, 6 квітня 2014
У логіці, набір символів зазвичай використовується, щоб висловити логічне представлення. Слід пам'ятати, що, поза логікою, різні символи мають той же зміст, і той же символ має, в залежності від контексту, різні значення.
Базові логічні символи
Символ
|
Назва | Пояснення | Приклад | 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 (англ.)