Содержание (FireFox,Safari)
|
19.3. ТеоремаЕсли в условии теоремы 19.1 к рассмотрению системообразующих ВС добавить частичные ВС, то и в этом случае И-ячейка в системе - прообразе также будет существовать. ДоказательствоПостроение И-ячейки с использованием состояний из частичных ВС означает, что для каждого такого состояния в соответствующей системообразующей ВС имеется его прообраз – порожденное от него состояние. Поскольку согласно определению О-проекции сохраняются частичные ВС, то переход от указанного порожденного (от состояния соответствующей дополнительной ВС) состояния (в системе SVS⚪) к его прообразу (в системе SVS◎) сохраняет его свойство «быть порожденным» от одного и того же состояния. Значит, наряду с И-ячейкой, основанной на состояниях из системообразующей ВС, существует также И-ячейка на состояниях из сопряженных с теми же узлами частичных ВС, что и требовалось доказать. █
Назад Вперёд |
ru/en |