19.16. Теорема

Пусть даны согласованные системы ВС

SVS⚪ = <T⚪, SH⚪, COM⚪, SEL⚪, VS⚪> и

SVS◎ = <T◎, SH◎, COM◎, SEL◎, VS◎>

такие, что их основы [SVS⚪] и [SVS◎] находятся в отношении О-проекции.

Тогда любое порождённое отношение, связывающее например, состояния s1⚪ .. sM⚪ системы SVS⚪, связывает также и соответствующие им прообразы - состояния s1◎ .. sM◎ системы SVS◎.

Доказательство

В теоремах 18.3 и 18.6 была доказана эквивалентность (порождённых) отношений И и ЛИБО между состояниями с одной стороны и существованием И- и ЛИБО-фреймов, построенных на таких состояниях, - с другой.

А в теоремах 19.7 и 19.8 было доказано, что при усложнении системы (переходе к О-прообразу) эти И- и ЛИБО-фреймы «сохраняются».

Значит, сохраняются и отношения И и ЛИБО, связывающих рассматриваемые наборы состояний. █

Назад Вперёд