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

VT

Класс термов: VT.

Определение класса VT:
1) {x₁, y₁, z₁, x₂, y₂, z₂, ..., x_n, y_n, z_n, ...}VT;
2) {a₁, b₁, c₁, d₁, a₂, b₂, c₂, d₂, ..., a_n, b_n, c_n, d_n, ...}VT;
3) (t₁, t₂, ..., t_n є VT) => (fⁿ(t₁, t₂, ..., t_n) є VT).