| Aa | альфа | Nn | ню (ни) | |
| Bb | бэта (бета) | Xx | кси | |
| Gg | гамма | Oo | омикрон | |
| Dd | дельта | Pp | пи | |
| Ee | эпсилон (ипсилон) | Rr | ро | |
| Zz | дзета | Ss | сигма | |
| Hh | эта | Tt | тау | |
| QqJ | тэта | Ffj | фи | |
| Ii | йота | Cc | хи | |
| Kk | каппа | Uu | юпсилон (ипсилон) | |
| Ll | ламбда (лямбда) | Yy | пси | |
| Mm | мю (ми) | Ww | омега |
Аналогии алгебр
| Алгебра чисел | Алгебра переменных | Алгебра множеств | Алгебра высказываний | Алгебра Буля | Алгебра событий | Союзы в русском языке | |
| Объекты | числа | переменные | множества | высказывания | высказывания | события | ¾ |
| Нулевой элемент | пустое множество | ложь | невозможное событие q =0 | ¾ | |||
| Единичный элемент | универсальное множество | истина | достоверное событие р =0 | ¾ | |||
| ¾ | «вычитание» | дополнение:
| отрицание, инверсия:
| отрицание, инверсия: ; ;
| противоположность | не (неверно, что) | |
| ¾ | умножение | - знак системы
| пересечение:
| конъюнкция: ;
| конъюнкция: : ; ; ;
| пересечение зависимых или независимых | и (а, но) |
| ¾ | сложение | - знак совокупности
| объединение:
| дизъюнкция нестрогая:
| дизъюнкция нестрогая:
| объединение совместных | или (неисключающее или) |
| ¾ | ¾ | ¾ | симметрическая разность:
| дизъюнкция строгая: ; ;
| сложение по модулю 2: ; ; ;
| объединение несовместных | или … или (исключающее или; неравнозначность) (либо … либо) |
| ¾ | ¾ | ¾ | ¾ | импликация (следование):
| импликация: ; ;
| ¾ | если …, то … |
| ¾ | ¾ | ¾ | ¾ | эквиваленция или двойная импликация (эквивалентность):
| эквиваленция: ; ; ;
| ¾ | … тогда и только тогда, когда … (равнозначность) |
[1] Квантор – от лат. quantum – сколько.
[2] Символ " есть перевёрнутая буква А, которая является начальной буквой английского слова All - все.
[3] Символ $ есть перевёрнутая буква $, которая является начальной буквой английского слова Exist - существовать.
;
- знак системы
;
;
;
;
- знак совокупности
;
;
;
;
;
;






