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

Теория Ords

Теория Ords – теория строгого порядка в языке LOrds с алфавитом AOs и классом ППТ SST. .

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

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

Определение класса ППТ SST:
SST={a₁, b₁, c₁, d₁, a₂, b₂, c₂, d₂, ..., a_n, b_n, c_n, d_n, ...}.

Определение класса ППФ LOrds:
1) (a, b є SST => (a<b є LOrds);
2) (A, B є LOrds) => (¬A, (A&B), (AB), (AB), (AB) є LOrds).