ГОСТ Р ИСО 18629-13-2011
Примитивнаяфункцияотношенияsoomapявляетсяветвлением
мономорфизма.
(forall (?s?а)
(or (mono (?s (soomap ?s) ?a)
(= ?s (soomap ?s))))
6.6.6 Аксиома 6
Дерево операций является порядково-гомоморфичным в отношении
упорядоченной структуры элементов субопераций.
(forall (?а ?s1 ?s2)
(implies (min_precedes ?s1 ?s2 ?a)
(iff (soo_precedes (soomap ?s1) (soomap ?s2) ?a)
(not (exists (?s3?s4)
(and (min_precedes ?s4 ?s3 ?a)
(=(soomap ?s3) (soomap ?s1})
(= (soomap ?s4) (soomap ?s2))))))))
6.6.7 Аксиома 7
Примитивныйсимволотношенияsoo precedesнеявляется
симметричным.
(forall (?а ?s1 ?s2)
(implies (soo_precedes ?s1 ?s2 ?a)
(not (soo_precedes ?s2 ?s1 ?a))))
6.6.8 Аксиома 8
Примитивный символ отношения soo precedes является транзитивным.
(forall (?а ?s1 ?s2 ?s3)
(implies (and (soo_precedes ?s1 ?s2 ?a)
(soo_precedes ?s2 ?s3?a))
(soo_precedes ?sl ?s3 ?a)))
7 Теория продолжительности операций
В этой теории вводится понятие «продолжительность операции», в
которой путем отображения каждой пары точек на новый подкласс объектов,
называемых «временные интервалы» (timeduration), на временной шкале
вводитсяметрика,причемэтиинтервалыввекторномпространстве
удовлетворяют определенным аксиомам.
7.1 Примитивные отношения в теории продолжительности операций
Внелогическойлексикетеориипродолжительностиопераций
содержатся два примитивных символа отношений, а именно:
14