Интерпретация символов алфавитов из БД

Элементарные постоянные термы:

1) S₁, P₁, Q₁, M₁, S₂, P₂, Q₂, M₂, ..., S_n, P_n, Q_n, M_n, ... – общие термы.
2) Ø – имя для пустого множества;
3) U – имя для универсального множества;
4) a₁, b₁, c₁, d₁, a₂, b₂, c₂, d₂, ..., a_n, b_n, c_n, d_n, ... – сингулярные термы.

Элементарные переменные термы:

1) x₁, y₁, z₁, x₂, y₂, z₂, ..., x_n, y_n, z_n, ... – сингулярные переменные термы;
2) X₁, Y₁, Z₁, X₂, Y₂, Z₂, ..., X_n, Y_n, Z_n, ... – общие переменные термы.

Функторы:

1) ´ – функтор отрицания;
2) – функтор объединения объемов термов;
3) – функтор пересечения объемов термов.

Алгебраические предикаторы:

1) = – предикатор равенства;
2) < – предикатор строгого порядка.
3) – предикатор строгого включения объемов термов;
4) – предикатор нестрогого включения объемов термов.

Силлогистические связки (предикаторы):

1) a – общеутвердительная силлогистическая константа, "все ... есть ...";
2) e – общеотрицательная силлогистическая константа, "все ... не есть ...";
3) i – частноутвердительная силлогистическая константа, "некоторые ... есть ...";
4) o – частнноотрицательная силлогистическая константа, "все ... не есть ...";
5) t – частноутвердительная силлогистическая константа васильевского типа: "некоторые и только некоторые ... есть ...";
6) u¹ – одноместная силлогистическая константа универсальности объема термина, "... универсален";
7) u² – двухместная силлогистическая константа исчерпываемости универсума объемами терминов;
8) q – двухместноая силлогистическая константа неисчерпываемости универсума объемами терминов;
9) – единичноутвердительная силлогистическая константа, "... есть ...", связка Лесневского;
10) y – единичноотрицательная силлогистическая константа, "... не есть ...".

Пропозициональные символы:

1) p₁, q₁, r₁, s₁, p₂, q₂, r₂, s₂, ..., p_n, q_n, r_n, s_n, ... – параметры для высказываний;
2) t – константа для тождественно-истинного высказывания;
3) f – константа для тождественно-ложного высказывания.

Пропозициональные связки (независимо от классической или неклассической интерпретации):

1) ¬ – отрицание;
2) & – конъюнкция;
3) – дизъюнкция;
4) – импликация;
5) – эквивалентность.

Модальные операторы:

1) – сильный модальный оператор, "необходимо, что ...";
2) – слабый модальный оператор, "возможно, что ...".

Кванторы:

1) – квантор всеобщности;
2) – квантор существования.

Технические знаки:

( – левая и
) – правая скобки.