Логическое построение формул АРП

Множнство ТИМов T состоит из 16 элеметов t:
Дихотомии ТИМов (Признаки Рейнина)

Множество Аспектов I состоит из восьми элементом i
Дихотомии Аспектов DichI

Множество соционических функций F состоит из 8 элементов f
Дихотомии Функций DichF

Каждому ТИМу соответствует 1 модель А
Элементы Т действуют как отображение I → F

DichT задают инварианты в моделях А

Для каждого dichT существует пара отображений dichI → dichF

демократия/аристократия

демократы

аристократы

квестимность/деклатимность

[dich_n(I_a) = dich_n(I_b) & dich_m(I_a) = dich_m(I_b)] & [dich_k(I_c) = dich_k(I_d) & dich_p(I_c) = dich_p(l_c)]

dich_n + dich_m = тальI
Dich_k + dich_p = тальI
Таль(I_a) = таль(I_b)
Таль(I_c) = таль (I_d)
таль(I_а) =! Таль (I_c)
наль(I_a) =! Наль (I_b)
Наль (I_c) =! Наль (I_d)