Список логічних символів
У логіці, набір символів зазвичай використовується, щоб висловити логічне представлення. Слід пам'ятати, що, поза логікою, різні символи мають той же зміст, і той же символ має, в залежності від контексту, різні значення.
Базові логічні символи
Цей розділ потребує доповнення. (квітень 2014) |
Символ
|
Назва | Пояснення | Приклад | Unicode | HTML | LaTeX |
---|---|---|---|---|---|---|
Читати як | ||||||
Kategorie | ||||||
:=
≡ :⇔ |
означення | x := y або x ≡ y означає x визначається як інша назва для y (але врахуйте, що ≡ може також означати інші речі, такі як конгуренція). P :⇔ Q означає P визначається як логічна еквівалентність to Q. |
cosh x := (1/2)(exp x + exp (−x)) A XOR B :⇔ (A ∨ B) ∧ ¬(A ∧ B) |
U+2254 (U+003A U+003D) U+2261 U+003A U+229C |
:= : ≡ ⇔ |
:=
\equiv \Leftrightarrow |
визначається як | ||||||
всюди | ||||||
( )
|
Пріоритет угруповання | Виконайте операції всередині дужок першими. | (8 ÷ 4) ÷ 2 = 2 ÷ 2 = 1, but 8 ÷ (4 ÷ 2) = 8 ÷ 2 = 4. | U+0028 U+0029 | ( ) | ( ) |
дужки | ||||||
всюди | ||||||
⊢
|
Турнікет | 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 (англ.)