Формулы логики предикатов

Понятие формулы алгебры логики предикатов определим индуктивно.

Вначале задается алфавит символов, из которых будут составляться формулы.

1) предикатные переменные: x, y, z, x_i, y_i, z_i (iÎN);

2) нульместные предикатные переменные: А,В,С,А_i,В_i,С_i (iÎN);

3) n- мерные (n > =1) предикатные переменные:

А(…), В(…), А _i(…), В _i(…) (iÎN);

4) символы логических операций: , , , , ;

5) кванторы:", $.