В логических выражениях литера & обозначает конъюнкцию и читается как "и". Литера ~ обозначает отрицание и читается как "не". Комбинация литер or обозначает дизъюнкцию и читается как "или". Литеры A и E, набранные жирным шрифтом, обозначают кванторы общности и существования.
Нижеследующие формулы определяют смысл нотации в левой части через выражение в правой. Интерпретация символа "…" оставлена интуиции.
Ai: m ≤ i < n : Pi Pm & Pm+1 & … & Pn-1
Здесь Pi - некоторые предикаты, а формула утверждает, что выполняются все Pi для значений индекса i из диапазона от m до n, но не включая само n.
Ei: m ≤ i < n : Pi Pm or Pm+1 or … or Pn-1
Здесь Pi - некоторые предикаты, а формула утверждает, что выполняются некоторые из Pi для каких-то значений индекса i из диапазона от m до n, но не включая само n.
Ei: m ≤ i < n : Pi Pm or Pm+1 or … or Pn-1
Здесь Pi - некоторые предикаты, а формула утверждает, что выполняются некоторые из Pi для каких-то значений индекса i из диапазона от m до n, но не включая само n.
Si: m ≤ i < n : xi = xm + xm+1 + … + xn-1
MIN i: m ≤ i < n : xi = минимальное среди значений (xm, … , xn-1)
MAX i: m ≤ i < n : xi = максимальное среди значений (xm, … , xn-1)
