Определение правильно построенного терма:
1) элемент множества {S, P, Q, M, S1, P1, Q1,
M1, S2, P2, Q2, M2, ...};
2) элемент множества {v, w, v1, w1, v2, w2,
...};
3) t', где t терм.
Определение правильно построенной формулы:
1) t1at2, t1et2, t1it2,
t1ot2, где t1 и t2 термы;
2) ¬A, A&B, AB,
A
B, A
B,
где A и B формулы.
Алгебраические соотношения с другими языками:
NSLso = SLso+NSL.