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

Теория C2sa

Теория C2sa – сингулярная силлогистика аристотелевского типа в языке LSsa с алфавитом ASsa и классом ППТ STs. Другие, встречающиеся в литературе имена: С2^с_а.

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

1) Правило modus ponens (правило отделения): если (AB) и A, то B.
Эктетические правила:
2) если |– ((vS & vP) A), то |– (SiP A);
3) если |– ((vS & vyP) A), то |– ((SoP & SiS) A),
где v не содержится в A.

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

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

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