Обозначения
[предыдущая глава]  [оглавление]  [следующая глава]

Здесь и далее применяются следующие обозначения для алгебраических и логических операций (в порядке понижения приоритета):

  1. − (смена знака)
  2. *, / (умножение, деление)
  3. +, − (сложение, вычитание)
  4. <, >, ≥, ≤ (сравнение чисел)
  5. , (принадлежность, непринадлежность к множеству)
  6. , , ~ (кванторы, отрицание)
  7. & (логическое "И")
  8. , (включающее и исключающее логическое "ИЛИ")
  9. , (материальная импликация, равноистинность)
  10. , , , (общее следование, частное следование, общая эквивалентность, частная эквивалентность)
  11. (декартово произведение множеств)
  12. (пересечение множеств)
  13. \, , (разность, симметрическая разность, объединение множеств)
  14. , (несобственное подмножество, собственное подмножество)
  15. =, ≠ (равенство, неравенство чисел или других объектов)

[предыдущая глава]  [оглавление]  [следующая глава]