Логические символы
Собраны логические связки, кванторы, знаки вывода и следования, множества и метаязык. Щелчок вставляет знак в поле, Alt+щелчок или правая кнопка — сразу в буфер, «Копировать всё» — весь текст.
Связки
Кванторы
Вывод и следование
Множества и принадлежность
Метаязык
0 знаков
Что означает каждый символ
| Символ | Название | |
|---|---|---|
| ¬ | Отрицание, читается «не» | |
| ∼ | Отрицание, старая запись | |
| ∧ | Конъюнкция, читается «и» | |
| & | Амперсанд, читается «и» | |
| ∨ | Дизъюнкция, читается «или» | |
| ⊻ | Исключающее «или», читается «либо… либо» | |
| → | Импликация, читается «если… то» | |
| ⊃ | Импликация, старая запись | |
| ↔ | Эквиваленция, читается «тогда и только тогда» | |
| ≡ | Эквивалентность | |
| ⊕ | Исключающее «или», в круге | |
| ∀ | Квантор всеобщности, читается «для всех» | |
| ∃ | Квантор существования, читается «существует» | |
| ∄ | Не существует | |
| ∃! | Единственность, читается «существует ровно один» | |
| ι | Йота-оператор, определённая дескрипция | |
| λ | Лямбда, абстракция | |
| ⊢ | Турникет, читается «выводит» | |
| ⊬ | Не выводится | |
| ⊨ | Двойной турникет, читается «влечёт» | |
| ⊭ | Не влечёт семантически | |
| ∴ | Следовательно | |
| ∵ | Поскольку | |
| □ | Необходимость, читается «необходимо» | |
| ◇ | Возможность, читается «возможно» | |
| ⊤ | Истина (верум) | |
| ⊥ | Ложь (фальсум) | |
| ∈ | Принадлежит | |
| ∉ | Не принадлежит | |
| ⊆ | Подмножество или равно | |
| ⊂ | Строгое подмножество | |
| ∪ | Объединение | |
| ∩ | Пересечение | |
| ∅ | Пустое множество | |
| ∁ | Дополнение | |
| ≔ | По определению равно | |
| ⟨ | Левая угловая скобка | |
| ⟩ | Правая угловая скобка | |
| ⟦ | Левая семантическая скобка | |
| ⟧ | Правая семантическая скобка | |
| ⌜ | Левая уголковая кавычка | |
| ⌝ | Правая уголковая кавычка | |
| ′ | Штрих | |
| … | Многоточие |