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

Теория Car

Теория Car – чистая позитивная силлогистика в языке LS_a,e,i с алфавитом AS_a,e,i и классом ППТ CST. Другие, встречающиеся в литературе имена: Car.

Правила вывода:

Правило modus ponens (правило отделения): ((AB), A) => B.

Определение класса ППТ CST:
CST={S₁, P₁, Q₁, M₁, S₂, P₂, Q₂, M₂, ..., S_n, P_n, Q_n, M_n, ...}.

Определение класса ППФ LS_a,e,i:
1) (t₁, t₂ є CST) => ((t₁at₂), (t₁et₂), (t₁it₂) є LSa,e,i);
2) (A, B є LSa,e,i) => (¬A, (A&B), (AB), (AB), (AB) є LSa,e,i).

Библиография по Car