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

Теория NC2sa

Теория NC2sa – негативная сингулярная силлогистика аристотелевского типа в языке LNSsa с алфавитом ANSsa и классом ППТ NSTsa. Другие, встречающиеся в литературе имена: НС2^с_а.

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

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

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

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

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