❗ Вебсайт в стадии бета-тестирования. Возможны ошибки.
Справочники
Типографика
Символ
Логика

Логика

Условные обозначения

Колонки расположены в следующей последовательности:

  • изображение символа, глиф;
  • код Юникода;
  • код HTML;
  • мнемоника HTML;
  • наименование символа в Юникоде.

Логические операнды

К логическим операндам относят:

  • импликацию;
  • отрицание;
  • конъюнкцию;
  • дизъюнкцию;
  • строгую дизъюнкцию;
  • истинность;
  • ложность.

Импликация

Применяют в категориях логики:

  • логика высказываний;
  • алгебра логики;
  • алгебра Гейтинга.
    Юникод    HTML        Мнем. HTML      Наименование
========================================================
⇒   U+21D2    ⇒     ⇒    RIGHTWARDS DOUBLE ARROW
→   U+2192    →     →    RIGHTWARDS ARROW
⊃   U+2283    ⊃     ⊃           SUPERSET OF

Отрицание

Применяют в категориях логики:

  • логика высказываний;
  • алгебра логики.
    Юникод    HTML        Мнем. HTML      Наименование
========================================================
¬   U+000AC   ¬      ¬           NOT SIGN
~   U+007E    ~                      TILDE
!   U+0021    !       !          EXCLAMATION MARK

Конъюнкция

Применяют в категориях логики:

  • логика высказываний;
  • алгебра логики.
    Юникод    HTML        Мнем. HTML      Наименование
========================================================
∧   U+2227    ∧     ∧         LOGICAL AND
·   U+00B7    ·      ·     MIDDLE DOT
&   U+0026    &       &           AMPERSAND

Дизъюнкция

Применяют в категориях логики:

  • логика высказываний;
  • алгебра логики.
    Юникод    HTML        Мнем. HTML      Наименование
========================================================
∨   U+2228    ∨     ∨           LOGICAL OR
+   U+002B    +       +          PLUS SIGN
∥   U+2225    ∥     ∥ PARALLEL TO

Строгая дизъюнкция

Применяют в категориях логики:

  • логика высказываний;
  • алгебра логики.
    Юникод    HTML        Мнем. HTML        Наименование
========================================================
⊕   U+2295    ⊕     ⊕      CIRCLED PLUS
⊻   U+22BB    ⊻     ⊻          XOR
↮   U+21AE    ↮     ↮ LEFT RIGHT ARROW WITH STROKE
≢   U+2262    ≢     ≢    NOT IDENTICAL TO
⊽   U+22BD    ⊽     ⊽          NOR

Истинность

Синонимы: тавтология

Применяют в категориях логики:

  • логика высказываний;
  • логика первого порядка, логика предикатов первого порядка, расширение логики высказываний;
  • алгебра логики.
    Юникод    HTML        Мнем. HTML      Наименование
========================================================
⊤   U+22A4    ⊤     ⊤           DOWN TACK
T   U+0054    T                       LATIN CAPITAL LETTER T
1   U+0031    1                       DIGIT ONE

Ложность

Синонимы: противоречие, контрадикторность

Применяют в категориях логики:

  • логика высказываний;
  • логика первого порядка, логика предикатов первого порядка, расширение логики высказываний;
  • алгебра логики.
    Юникод    HTML        Мнем. HTML      Наименование
========================================================
⊥   U+22A5    ⊥     ⊥         UP TACK
F   U+0046    F                       LATIN CAPITAL LETTER F
0   U+0030    0                       DIGIT ZERO

Кванторы

Кванторы применяют в категории логики первого порядка (логика предикатов первого порядка, расширение логики высказываний).

    Юникод    HTML        Мнем. HTML      Наименование
========================================================
∀   U+2200    ∀     ∀        FOR ALL
∃   U+2203    ∃     ∃         THERE EXISTS
∃!  U+2203+U+0021 ∃!  ∃!
∄   U+2204    ∄     ∄     THERE DOES NOT EXIST
𝔻   U+1D53B   𝔻   𝔻          MATHEMATICAL DOUBLE-STRUCK CAPITAL 
∁   U+2201    ∁     ∁    COMPLEMENT
∂   U+2202    ∂     ∂          PARTIAL DIFFERENTIAL

Сравнение, эквивалентность

Категории логики:

  • логика высказываний;
  • алгебра логики.
    Юникод    HTML        Мнем. HTML            Наименование
========================================================
⇔   U+21D4    ⇔     ⇔ LEFT RIGHT DOUBLE ARROW
↔   U+2194    ↔     ↔      LEFT RIGHT ARROW
≡   U+2261    ≡     ≡               IDENTICAL TO
≃   U+2243    ≃     ≃          ASYMPTOTICALLY EQUAL TO
≅   U+2245    ≅     ≅      APPROXIMATELY EQUAL TO
≆   U+2246    ≆     ≆               APPROXIMATELY BUT NOT ACTUALLY EQUAL TO
≇   U+2247    ≇     ≇   NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO
≈   U+2248    ≈     ≈         ALMOST EQUAL TO
≉   U+2249    ≉     ≉       NOT ALMOST EQUAL TO                                                            
≊   U+224A    ≊     ≊                 ALMOST EQUAL OR EQUAL TO
≌   U+224C    ≌     ≌               ALL EQUAL TO
≠   U+2260    ≠     ≠                  NOT EQUAL TO
≤   U+2264    ≤     ≤                 LESS-THAN OR EQUAL TO
≥   U+2265    ≥     ≥        GREATER-THAN OR EQUAL TO

Логика высказываний 

    Юникод    HTML        Мнем. HTML        Наименование
========================================================
↑   U+2191    ↑     ↑    UPWARDS ARROW
|   U+007C    |      |    VERTICAL LINE
′   U+2032    ′     ′           PRIME
⊼   U+22BC    ⊼                       NAND
↓   U+2193    ↓     ↓  DOWNWARDS ARROW

Класс 

    Юникод    HTML        Мнем. HTML          Наименование
============================================================
∅   U+2205    ∅     ∅        EMPTY SET
⊂	U+2282    ⊂     ⊂               SUBSET OF
⊃	U+2283    ⊃     ⊃               SUPERSET OF
⊄	U+2284    ⊄     ⊄              NOT A SUBSET OF
⊅	U+2285    ⊅     ⊅              NOT A SUPERSET OF
⊆	U+2286    ⊆     ⊆       SUBSET OF OR EQUAL TO
⊇	U+2287    ⊇     ⊇     SUPERSET OF OR EQUAL TO
⊈	U+2288    ⊈     ⊈    NEITHER A SUBSET OF NOR EQUAL TO                                                        
⊉	U+2289    ⊉     ⊉  NEITHER A SUPERSET OF NOR EQUAL TO                                                        
⊊	U+228A    ⊊     ⊊             SUBSET OF WITH NOT EQUAL TO
⊇	U+2287    ⊇     ⊇     SUPERSET OF OR EQUAL TO
⊌	U+228C    ⊌                         MULTISET
∩   U+2229    ∩     ∩               INTERSECTION
∪	U+222A    ∪     ∪               UNION

Модальная логика 

    Юникод    HTML        Мнем. HTML      Наименование 
========================================================
□   U+25A1    □     □           WHITE SQUARE
◇   U+25C7    ◇                     WHITE DIAMOND

Метаязык

Символы, применяемые для обозначения операндов метаязыка.

    Юникод    HTML        Мнем. HTML              Наименование
=====================================================================
⊢   U+22A2    ⊢     ⊢                 RIGHT TAC
⊨   U+22A8    ⊨     ⊨        TRUE
≡   U+2261    ≡     ≡                 IDENTICAL TO
⟚   U+27DA    ⟚                            LEFT AND RIGHT DOUBLE TURNSTILE
⇔   U+21D4    ⇔     ⇔  LEFT RIGHT DOUBLE ARROW
⊬   U+22AC    ⊬     ⊬                DOES NOT PROVE
⊭   U+22AD    ⊭     ⊭                NOT TRUE
≔   U+2254    ≔     ≔               COLON EQUALS
≜   U+225C    ≜     ≜                  DELTA EQUAL TO
≝   U+225D    ≝                             EQUAL TO BY DEFINITION
∴   U+2234    ∴     ∴             THEREFORE
∵   U+2235    ∵     ∵               BECAUSE
БлокиФигуры