Информационная система по формальным теориям

Алфавит ABM языка

Элементарные переменные термы:
x₁, y₁, z₁, x₂, y₂, z₂, ..., x_n, y_n, z_n, ... – индивидные переменные термы.

Предикаторы:
1) A² – двухместный предикатор "... атрибут ...";
2) C² – двухместный предикатор "... причина ...;
3) D² – двухместный предикатор "... зависит от ...";
4) E¹ – одноместный предикатор "... вечено";
5) E² – двухместный предикатор "... сущность ...";
6) F¹ – одноместный предикатор "... конечно";
7) H¹ – одноместный предикатор "... абсолютно бесконечно";
8) I² – двухместный предикатор "... содержится в ...";
9) K¹ – одноместный предикатор "... конечно в своем роде" (in suo genere finita);
10) K² – двухместный предикатор "... и ... имеют одну и ту же природу";
11) L² – двухместный предикатор "... ограничивает ...";
12) M² – двухместный предикатор "... модус (состояние) ..." (mode);
13) N¹ – одноместный предикатор "... иметь необходимое существование";
14) P² – двухместный предикатор "... первее ...";
15) Q¹ – одноместный предикатор "... свободно";
16) S¹ – одноместный предикатор "... субстанция";
17) T² – двухместный предикатор "... действие ...";
18) U² – двухместный предикатор "... знает (познает) ...";
19) W³ – трехместный предикатор " ... и ... общее ...";
20) = – предикат равенства.

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

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

Модальные операторы:
þ – оператор истинности.

Технические знаки:
( – левая и
) – правая скобки.