Список логічних символів

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук

У логіці, набір символів зазвичай використовується, щоб висловити логічне представлення. Слід пам'ятати, що, поза логікою, різні символи мають той же зміст, і той же символ має, в залежності від контексту, різні значення.

Базові логічні символи[ред.ред. код]

Символ
Назва Пояснення Приклад Unicode HTML LaTeX
Читати як
Category
:=



:⇔
означення 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\equiv
\Leftrightarrow\Leftrightarrow
визначається як
всюди
( )
Пріоритет угруповання Виконайте операції всередині дужок першими. (8 ÷ 4) ÷ 2 = 2 ÷ 2 = 1, but 8 ÷ (4 ÷ 2) = 8 ÷ 2 = 4. U+0028 U+0029 ( ) (~) ( )
дужки
всюди
Турнікет x y означає y доказується від x (у деякій заданих формальних системах). AB ¬B → ¬A U+22A2 ⊢ \vdash\vdash
доказовий
Числення висловлень, Логіка першого порядку
Подвійний турнікет xy означає x семантично тягне y AB ⊨ ¬B → ¬A U+22A8 ⊨ \models\models
тягне за собою
Числення висловлень, Логіка першого порядку

Див. також[ред.ред. код]

Посилання[ред.ред. код]