Здесь и далее применяются следующие обозначения для алгебраических и логических операций (в порядке понижения приоритета):
- − (смена знака)
- *, / (умножение, деление)
- +, − (сложение, вычитание)
- <, >, ≥, ≤ (сравнение чисел)
,
(принадлежность, непринадлежность к множеству)
,
, ~ (кванторы, отрицание)
- & (логическое "И")
,
(включающее и исключающее логическое "ИЛИ")
,
(материальная импликация, равноистинность)
,
,
,
(общее следование, частное следование, общая эквивалентность, частная эквивалентность)
(декартово произведение множеств)
(пересечение множеств)
- \,
,
(разность, симметрическая разность, объединение множеств)
,
(несобственное подмножество, собственное подмножество)
- =, ≠ (равенство, неравенство чисел или других объектов)