SL – язык чистых позитивных силлогистик с полным набором пропозициональных связок и всеми классическими силлогистическими связками

Определение правильно построенного терма:
элемент множества {S, P, Q, M, S₁, P₁, Q₁, M₁, S₂, P₂, Q₂, M₂, ...}.

Определение правильно построенной формулы:
1) t₁at₂, t₁et₂, t₁it₂, t₁ot₂, где t₁ и t₂ - термы;
2) ¬A, A&B, AB, AB, AB, где A и B - формулы.