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

Теория ArC2

Теория ArC2 – расширенная силогистика с пропозициональными символами в языке LPD₂S с алфавитом APD₂S и классом ППТ D₂CST. Другие, встречающиеся в литературе имена: ArC2.

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

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

Определение класса ППТ D₂CST:
1) {S₁, P₁, Q₁, M₁, S₂, P₂, Q₂, M₂, ..., S_n, P_n, Q_n, M_n, ...}D₂CST;
2) Ø є D₂CST;
3) U є D₂CST;
4) (t₁, t₂ є D₂CST) => (t₁´, (t₁t₂), (t₁t₂) є D₂CST).

Определение класса ППФ LPD₂S:
1) p, q, r, s, p₁, q₁, r₁, s₁, p₂, q₂, r₂, s₂, ... є LPD2S;
2) (t₁, t₂ є D2CST) => ((t₁at₂), (t₁et₂), (t₁it₂), (t₁ot₂) є LPD2S);
3) (A, B є LPD2S) => (¬A, (A&B), (AB), (AB), (AB) є LPD2S).

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