Определение класса ППТ VST:
VST={x1, y1, z1, x2, y2, z2, ..., xn, yn, zn, ...}.
Определение класса ППФ LQE1Ords:
1) (x, y є VST) => ((x<y), (x=y) є LQOrds);
2) (A, B є LQE1Ords) => (¬A, (A&B), (AB), (AB), (AB) є LQE1Ords);
3) (A(x) є LQE1Ords) => (xA(x), xA(x) є LQE1Ords).
Алфавит AQE1Os языка LQE1Ords
Элементарные переменные термы:
x1, y1, z1, x2, y2, z2, ..., xn, yn, zn, ... индивидные переменные термы.
Предикаторы:
1) = двухместный предикатор равенства;
2) < предикатор строгого порядка.
Кванторы
1) квантор всеобщности;
2) квантор существования.
Пропозициональные связки:
1) ¬ отрицание;
2) & конъюнкция;
3) дизъюнкция;
4) импликация;
5) эквивалентность.
Технические знаки:
( левая и
) правая скобки.