ГОСТ Р ИСО 18629-13-2011
(forall (?а1 ?а2 ?s1 ?s2)
(implies (and (ubiquitous ?a1 ?a2)
(min_precedes ?s1 ?s2?a2))
(not (exists (?s3 ?s4)
(and (occurrence ?s3 ?a1)
(occcurrence ?s4 ?a1)
(legal_equiv ?s3 ?s4)
(endjso ?
s
1?s2 ?s3 ?s4))))))
8.6.3 Аксиома 3
Каждый элемент операции, сохраненный с помощью автоморфизмов
дерева элементов, сохраняет допустимые элементы операции ?а1 и является
элементом субоперации убиквитарной операции.
(forall ?а1 ?а2 ?s1 ?s2 ?s3 ?s4)
(implies (and (ubiquitous ?a1 ?a2)
(occurrence ?s3 ?al)
(occurrence ?s4 ?a1)
(legal_equiv ?s3 ?s4)
(end_iso ?s1 ?s2?s3 ?s4))
(exists
(?01
?o2)
(and (occurrence ?о1 ?al) (occurrence
?o2 ?a1) (subactivity_occurrence
?s1 ?o1)
(subactivity„occurrence ?s2 ?o1)))))
9 Теория оболочки операций
Базоваятеорияоболочкиоперацийустанавливаетаксиомы,
относящиеся к взаимодействию между элементами внутренних и внешних
операций. В частности, последними могут быть операции, которые обязательно
должны возникать при появлении допустимых элементов операции, а также
могут быть внешние операции, которые запрещают их появление при наличии
некоторых элементов операции.
9.1 Примитивные отношения в теории оболочки операций
В нелогической лексике теории оболочки операций содержатся два
примитивных символа отношений, а именно:
- envelope (оболочка):
- umbra (тень).
9.2 Определяющие отношения в теории оболочки операций
27