Що означає ⋁
Це АБО для групи тверджень. Пропозиція — це твердження, яке може бути істинним або хибним; ⋁ означає, що істинне принаймні одне. Ґратка — це впорядкована структура, елементи якої можна поєднувати за правилом, що називається супремумом; ⋁ може позначати цю операцію. У деяких системах запису він також означає «існує».
Пеано використовував ∪ для логічного об’єднання у 1888 році. Рассел і Вайтгед розвивали ∨ у працях, що охоплювали 1903 рік, щоб відрізнити АБО між твердженнями від об’єднання множин, яке поєднує їхні елементи. ⋁ — це велика форма оператора vee для кількох входів.
Що означає, коли хтось надсилає вам цей символ
Тлумачень: 3Для кількох пропозицій
Істинне принаймні одне твердження зі списку.
У позначеннях ґратки
Супремум поєднує елементи відповідно до порядку ґратки.
Як квантор існування
Є принаймні один об’єкт, що задовольняє зазначену умову.
Не плутайте з
1Як набрати ⋁
Windows (Word)
Alt+XВведіть 22C1, потім натисніть Alt+X, щоб отримати ⋁.
Windows
Win+RЗапустіть charmap для повної таблиці або скористайтеся вкладкою Ω у панелі емодзі (Win + .).
macOS
Control+Command+SpaceВідкрийте переглядач символів і знайдіть «n-ary logical or».
Linux
Ctrl+Shift+UВведіть 22c1, потім натисніть Enter або пробіл.
HTML
⋁CSS
\22C1Коди й кодуванняКодових точок: 1
HTML десятковий
⋁
HTML шістнадцятковий
⋁
Вміст CSS
content: "\22C1";
Кожна escape-послідовність закінчується наступною зворотною скісною рискою; перед звичайною шістнадцятковою цифрою потрібен пробіл.
Кодування URL
%E2%8B%81
1
На екрані
1
Кодові точки
1
JS .length
3
Байти UTF-8
Видимий символ може містити кілька кодових точок. JS .length рахує одиниці UTF-16, а UTF-8 — байти.