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

Теория TS

Теория TS – негативная сингулярная силлогистика оккамовского типа в языке LNSso с алфавитом ANSso и классом ППТ NSTso. Другие, встречающиеся в литературе имена: ТС.

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

1) Правило modus ponens (правило отделения): если (AB) и A, то B.
Эктетические правила:
2) если |– ((vaS & vaP) A), то |– (SiP A);
3) если |– ((vaS & veP) A), то |– (SoP A),
v не содержится в заключении.

Определение класса ППТ NSTso:
1) {S₁, P₁, Q₁, M₁, S₂, P₂, Q₂, M₂, ..., S_n, P_n, Q_n, M_n, ...}NSTso;
2) {a₁, b₁, c₁, d₁, a₂, b₂, c₂, d₂, ..., a_n, b_n, c_n, d_n, ...}NSTso;
3) (t є NSTso) => (t´ є NSTso).

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

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