Embedded Files
Список сокращений символов математической логики.
Логические операнды
Логические операнды
\and 8743 # ∧ конъюнкция
\amp 38 # & конъюнкция
\middot 183 # · конъюнкция, устаревшее обозначение
\nand 8892 # ⊼ отрицание конъюнкции, оператор И-НЕ
# | отрицание конъюнкции, штрих Шеффера, оператор И-НЕ
\not 172 # ¬ отрицание
\tilde # ˜ отрицание
# ! отрицание
\sim 8764 # ∼ отрицание
\or 8744 # ∨ дизъюнкция
# + дизъюнкция
|| 8214 # ǀǀ дизъюнкция
\perp 8869 # ⊥ отрицание дизъюнкции
\darr 8595 # ↓ отрицание дизъюнкции, стрелка Пирса
\ttrue 8868 # ⊤ тавтология, истинность
\true 8872 # ⊨ истинность
\false 8869 # ⊥ противоречие, ложность
# F противоречие, ложность
\ntrue 8877 # ⊭ неверно, не является истиной
\sup 8835 # ⊃ импликация
\rArr 8658 # ⇒ импликация
==> 8658 # ⇒ импликация
--> 8594 # → импликация
\model 8871 # ⊧ импликация; модель; (A⊧B если A, то и B)
\oplus 8853 # ⊕ исключающее ИЛИ
\xor 8891 # ⊻ исключающее ИЛИ
\nor 8893 # ⊽ исключающее ИЛИ, оператор ИЛИ-НЕ
\otimes 8855 # ⊗ исключающее И
Кванторы
Кванторы
\forall 8704 # ∀ квантор общности
\comp 8705 # ∁ дополнение
\part 8706 # ∂ частичный дифференциал
\exist 8707 # ∃ квантор существования
\nexist 8708 # ∄ рекомендация писать: ¬∃
Сравнение
Сравнение
\aeq 8771 # ≃ предположительно эквивалентно
\naeq 8772 # ≃ предположительно неэквивалентно
\cong 8773 # ≅ конгруэнтно
\ncong 8774 # ≆ неконгруэнтно
\nncong 8775 # ≇ не приблизительно, ни фактически неравно
\asymp 8776 # ≈ фактически равно
\nasymp 8777 # ≉ фактически неравно
\aasymp 8778 # ≊ фактически равно или равно
\3~ 8779 # ≋ тройная тильда
\alleq 8780 # ≌ все значения равны
\eq 8781 # ≍ эквивалентно
\equiv 8801 # ≡ эквивалентно
\hArr 8660 # ⇔ эквивалентно
<=> 8660 # ⇔ эквивалентно
<==> 8660 # ⇔ эквивалентно
\harr 8596 # ↔ эквивалентно
<-> 8596 # ↔ эквивалентно
<--> 8596 # ↔ эквивалентно
\ne 8800 # ≠ неравно
\neq 8800 # ≠ неравно
=/= 8800 # ≠ неравно
\le 8804 # ≤ меньше или равно
\ge 8805 # ≥ больше или равно
\diam 8900 # ⋄ модельный оператор «возможно, что», «не обязательно нет»;
# то же, что ¬◻¬
Множества
Множества
\empty 8709 # ∅ пустое множество
\sub 8834 # ⊂ подмножество
\sup 8835 # ⊃ надмножество
\nsub 8836 # ⊄ не является подмножеством
\nsup 8837 # ⊅ не является надмножеством
\sube 8838 # ⊆ подмножество или равное
\supe 8839 # ⊇ надмножество или равное
\nsube 8840 # ⊈ не подмножество или неравное
\nsupe 8841 # ⊉ не надмножество или неравное
\suben 8842 # ⊊ подмножество, но не равное
\supen 8843 # ⊇ надмножество, но не равное
\multiset 8844 # ⊌ мультимножество
\cap 8745 # ∩ пересечение (множеств)
\cup 8746 # ∪ объединение (множеств)
Вывод
Вывод
\there4 8756 # ∴ следовательно
\because 8757 # ∵ поскольку
Google Sites
Report abuse